Modeling Techniques, Programming Languages,and Design Toolsets for Hybrid Systems, Luca P. Carloni, Maria Domenica DiBenedetto, Roberto Passerone, Alessandro Pinto and Alberto Sangiovanni-Vincentelli,