Schiffelers, R.; Theunissen, R.; van Beek, D.; Rooda, J. Model-Based Engineering of Supervisory Controllers Using CIF. ECEASST 2010, 21.