Enviar por SMS: Automated Formal Verification for UML-based Model Driven Design of Embedded Systems