Languages And Tools For Hybrid Systems Design by Roberto Passerone, Luca P. Carloni & Alessandro Pinto