A Method for Model Checking Context-Aware Exception Handling | IEEE Conference Publication | IEEE Xplore