A. Kamarudzaman, N., et al. “Formal Modeling of Cyber-Physical System for Conveyor Sorter”. International Journal of Engineering & Technology, vol. 7, no. 3.28, Aug. 2018, pp. 238-43, https://doi.org/10.14419/ijet.v7i3.28.23429.