Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines - Cavarra, A; Riccobene, E; Scandurra, P (Springer, 2003)