MoVES: A model-driven methodology for vehicular embedded systems