Return to Article Details Model-Based Engineering of Supervisory Controllers using CIF Download Download PDF