The automotive domain is certainly one of the most promising application domains for hybrid-system techniques. The fundamental objective of this водные экскурсии в санкт петербурге workpackage is to illustrate the significant contributions to the improvement of the design flow for embedded systems in the automotive industry that can be brought by the introduction of hybrid system modeling, analysis, synthesis and verification techniques.