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 (Dec. 2001), 81–94.