Integrating Models and Tools in the Context of Driving and In-vehicle Devices. - Bonnie E. John; Dario D. Salvucci; Peter Centgraf; Konstantine C. Prevas (ICCM, 2004)