@conference {441, title = {Supervisor synthesis in model-based automotive systems engineering}, booktitle = {ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, Berlin, Germany, April 14-17, 2014}, year = {2014}, doi = {10.1109/ICCPS.2014.6843722}, url = {http://dx.doi.org/10.1109/ICCPS.2014.6843722}, author = {Joanna M. van de Mortel{-}Fronczak and Rudolf G. M. Huisman and Martin H. R. van der Heijden and Michel A. Reniers} }