Izza Ainaa M. Ridza N, Alwi S. Implementation of IEC 61499 and Model Checking for Drill Simulator. IJET [Internet]. 2018 Dec. 9 [cited 2025 Aug. 17];7(4.33):498-503. Available from: https://mail.sciencepubco.com/index.php/IJET/article/view/28163