Systematic Model-Based Design and Implementation of Supervisors for Advanced Driver Assistance Systems. - Tim Korssen; Victor S. Dolk; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Maurice Heemels (IEEE Trans. Intell. Transp. Syst., 2018)