Enviar por SMS: Efficient Modeling of Hybrid Systems