Izza Ainaa M. Ridza, Nur, and Saifulza Alwi. 2018. “Implementation of IEC 61499 and Model Checking for Drill Simulator”. International Journal of Engineering and Technology 7 (4.33): 498-503. https://doi.org/10.14419/ijet.v7i4.33.28163.