Md. Aminuddin, Rusdi, He Jifeng, and Rosni Abdullah. 2001. “Specifying Concurrent Controller of Production Cell Using the Notation of Shared State and Events of Duration Calculus”. Malaysian Journal of Computer Science 14 (2):81-94. https://jpmm.um.edu.my/index.php/MJCS/article/view/5865.