MoVES: A Model-Driven Methodology for Vehicular Embedded Systems | IEEE Journals & Magazine | IEEE Xplore