Return to Article Details Specifying Concurrent Controller of Production Cell Using the Notation of Shared State and Events of Duration Calculus Download Download PDF