Marcel van Amstel, Mark G. J. van den Brand, Z. Protic, Tom Verhoeff. Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?. In Antonio Vallecillo, Jeffrey G. Gray, Alfonso Pierantonio, editors, Theory and Practice of Model Transformations, First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings. Volume 5063 of Lecture Notes in Computer Science, pages 61-75, Springer, 2008. [doi]