Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos. Automatic Generation of Integrated Formal Models Corresponding to UML System Models. In Manuel Oriol, Bertrand Meyer, editors, Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings. Volume 33 of Lecture Notes in Business Information Processing, pages 357-367, Springer, 2009. [doi]