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