Documenti analoghi: Efficient Modeling of Hybrid Systems