Execution Constraint Verification of Exception Handling on UML Sequence Diagrams | IEEE Conference Publication | IEEE Xplore