Modeling the Dynamics of UML Behavioral Diagrams - Cavarra, A; Riccobene, E (Pisa, 2000)