Md. Aminuddin, R.; Jifeng, H.; Abdullah, R. Specifying Concurrent Controller of Production Cell Using the Notation of Shared State and Events of Duration Calculus. MJCS 2001, 14, 81-94.