Model-Based Design of Embedded Control Software for Hybrid Vehicles