Back to article IJET Implementation of IEC 61499 and Model Checking for Drill Simulator Download Download PDF