Supervisor synthesis in model-based automotive systems engineering. - Joanna M. van de Mortel-Fronczak; Rudolf G. M. Huisman; Martin H. R. van der Heijden; Michel A. Reniers (ICCPS, 2014)