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://sare.um.edu.my/index.php/MJCS/article/view/5865 (Accessed: 23 December 2024).