Envoyer par SMS: Efficient Modeling of Hybrid Systems