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