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