Egon Börger, Alessandra Cavarra, Elvinia Riccobene: On formalizing UML state machines using ASM. Inf. Softw. Technol. 46(5): 287-292 (2004)