A. Kamarudzaman, N.; Alwi, S.; A. Kasdirin, H. Formal Modeling of Cyber-Physical System for Conveyor Sorter. IJET 2018, 7 (3.28), 238-243. https://doi.org/10.14419/ijet.v7i3.28.23429.