An ASM Semantics for UML Activity Diagrams and UML State Machines - Boerger, E; Cavarra, A; Riccobene, E (ASM2000 Workshop, 2000)