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