Izza Ainaa M. Ridza, N.; Alwi, S. Implementation of IEC 61499 and Model Checking for Drill Simulator. IJET 2018, 7 (4.33), 498-503. https://doi.org/10.14419/ijet.v7i4.33.28163.