Md. Aminuddin, R., Jifeng, H., & 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), 81–94. Retrieved from https://sare.um.edu.my/index.php/MJCS/article/view/5865