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 [Internet]. 2001 Dec. 1 [cited 2024 Dec. 28];14(2):81-94. Available from: https://jati.um.edu.my/index.php/MJCS/article/view/5865