R. Schiffelers, R. Theunissen, D. van Beek, and J. Rooda, “Model-Based Engineering of Supervisory Controllers using CIF”, eceasst, vol. 21, Feb. 2010.