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