Return to Article Details Implementation of IEC 61499 and Model Checking for Drill Simulator Download Download PDF