Modeling Hybrid Systems door Rodrigo Assar