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