Verification of Exception Control Flows and Handlers Based on Architectural Scenarios | IEEE Conference Publication | IEEE Xplore