@conference {254,
	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}
}