Joanna M. van de Mortel-Fronczak, Rudolf G. M. Huisman, Martin H. R. van der Heijden, Michel A. Reniers. Supervisor synthesis in model-based automotive systems engineering. In ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, Berlin, Germany, April 14-17, 2014. pages 187-198, IEEE, 2014. [doi]
Abstract is missing.