Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems