An Automatic Approach to Model Checking UML State Machines | IEEE Conference Publication | IEEE Xplore