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