R. Md. Aminuddin, H. Jifeng, and R. Abdullah, “Specifying Concurrent Controller of Production Cell Using the Notation of Shared State and Events of Duration Calculus”, MJCS, vol. 14, no. 2, pp. 81–94, Dec. 2001.