A. KAMARUDZAMAN, N.; ALWI, Saifulza; A. KASDIRIN, H. Formal Modeling of Cyber-Physical System for Conveyor Sorter. International Journal of Engineering & Technology, [S. l.], v. 7, n. 3.28, p. 238–243, 2018. DOI: 10.14419/ijet.v7i3.28.23429. Disponível em: https://www.sciencepubco.com/index.php/ijet/article/view/23429.. Acesso em: 4 may. 2024.