Design and Validation of Embedded Control Software -- Model-Based Development of