A. Kamarudzaman N, Alwi S, A. Kasdirin H. Formal Modeling of Cyber-Physical System for Conveyor Sorter. IJET [Internet]. 2018 Aug. 17 [cited 2025 May 19];7(3.28):238-43. Available from: https://mail.sciencepubco.com/index.php/IJET/article/view/23429