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