A Fault Injection and Formal Verification Framework Based on UML Sequence Diagrams | IEEE Conference Publication | IEEE Xplore