Text this: Formal verification of automotive embedded UML designs