Modeling Hybrid Systems by Rodrigo Assar