A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment - Cavarra, A; Riccobene, E; Scandurra, P (Proceedings of the 2004 ACM Symposium on Applied Computing (SAC)‚ Nicosia‚ Cyprus‚ March 14−17‚ 2004, 2004)