Development and Validation of Functional Model of a Cruise Control System. - Avinash Visagan Varadarajan; Marcel Romijn; Bart Oosthoek; Joanna M. van de Mortel-Fronczak; Jos Beijer (FESCA@ETAPS, 2016)