A. Kamarudzaman, N., Alwi, S. and A. Kasdirin, H. (2018) “Formal Modeling of Cyber-Physical System for Conveyor Sorter”, International Journal of Engineering & Technology, 7(3.28), pp. 238–243. doi:10.14419/ijet.v7i3.28.23429.