Egon Börger Alessandra Cavarra Elvinia Riccobene On formalizing UML state machines using ASM. 287-292 2004 46 Information & Software Technology 5 http://dx.doi.org/10.1016/j.infsof.2003.09.009 db/journals/infsof/infsof46.html#BorgerCR04