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