Formal Verification of UML Sequence Diagrams in the Embedded Systems Context | IEEE Conference Publication | IEEE Xplore