Optimizing Hierarchical, Concurrent State Machines in Umple for Model Checking | IEEE Conference Publication | IEEE Xplore