Raising Abstraction in Timing Analysis for Vehicular Embedded Systems through Model-Driven Engineering. - Bucaioni, Alessio (2015)