Vitus S. W. Lam, Julian A. Padget. Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. In 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic. pages 337-347, IEEE Computer Society, 2004. [doi]
Abstract is missing.