Marcel F. van Amstel M. G. J. van den Brand Z. Protic Tom Verhoeff Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?. 61-75 2008 ICMT http://dx.doi.org/10.1007/978-3-540-69927-9_5 conf/icmt/2008 db/conf/icmt/icmt2008.html#AmstelBPV08