A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment - Cavarra, A; Riccobene, E; Scandurra, P (ACM, 2004)