MD. AMINUDDIN, R.; JIFENG, H.; ABDULLAH, R. Specifying Concurrent Controller of Production Cell Using the Notation of Shared State and Events of Duration Calculus. Malaysian Journal of Computer Science, [S. l.], v. 14, n. 2, p. 81–94, 2001. Disponível em: https://jpmm.um.edu.my/index.php/MJCS/article/view/5865. Acesso em: 25 nov. 2024.