Refining Mobile UML State Machines
Alexander Knapp, Stephan Merz, Martin Wirsing
In: Savi Maharaj, Charles Rattray, Carron Shankland (Hgg.). Proc. 10th Int. Conf. Algebraic Methodology and Software Technology (AMAST'04). Lect. Notes Comp. Sci. 3116, Springer, Berlin, 2004. S. 274-288.

