Schattkowsky, T., &; Müller, W. (2005). Transformation of UML State Machines for Direct Execution. Proceedings of VL/HCC 05.https://doi.org/10.1109/VLHCC.2005.64