Izza Ainaa M. Ridza, N. and Alwi, S. 2018. Implementation of IEC 61499 and Model Checking for Drill Simulator. International Journal of Engineering & Technology. 7, 4.33 (Dec. 2018), 498–503. DOI:https://doi.org/10.14419/ijet.v7i4.33.28163.