Alexander Raschke. Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking. In 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings. pages 149-154, IEEE Computer Society, 2009. [doi]
Abstract is missing.