Md. Aminuddin, R., Jifeng, H. and Abdullah, R. (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), pp. 81–94. Available at: https://ejournal.um.edu.my/index.php/MJCS/article/view/5865 (Accessed: 18 May 2024).