Automatic derivation of TTCN-3 test cases from UML state machines
B. Czybik, B. Kumar, J. Jasperneite, in: 2010.