SMS versenden: Efficient Modeling of Hybrid Systems