Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems.- Part I Model-Based Design and Synthesis.- Modeling,...