Invia SMS: Efficient Modeling of Hybrid Systems