N. A. Kamarudzaman, S. Alwi, and H. A. Kasdirin, “Formal Modeling of Cyber-Physical System for Conveyor Sorter”, IJET, vol. 7, no. 3.28, pp. 238–243, Aug. 2018, doi: 10.14419/ijet.v7i3.28.23429.