Systematic Model Driven Test of Vehicular Energy Management and Engine Control | IEEE Conference Publication | IEEE Xplore