Transformation of UML state machines for direct execution | IEEE Conference Publication | IEEE Xplore