On Formalizing UML State Machines using ASM
Egon Börger‚ Alessandra Cavarra and Elvinia Riccobene
Journal
Information & Software Technology
Number
5
Pages
287−292
Volume
46
Year
2004
Egon Börger‚ Alessandra Cavarra and Elvinia Riccobene