N. Izza Ainaa M. Ridza and S. Alwi, “Implementation of IEC 61499 and Model Checking for Drill Simulator”, IJET, vol. 7, no. 4.33, pp. 498–503, Dec. 2018, doi: 10.14419/ijet.v7i4.33.28163.