Schiffelers, Ramon, et al. “Model-Based Engineering of Supervisory Controllers Using CIF”. Electronic Communications of the EASST, vol. 21, Feb. 2010, doi:10.14279/tuj.eceasst.21.305.