An Optimized Compilation of UML State Machines | IEEE Conference Publication | IEEE Xplore