Model Checking Dynamic and Hierarchical UML State Machines

Reference:

Toni Jussila, Jori Dubrovin, Tommi Junttila, Timo Latvala, and Ivan Porres. Model checking dynamic and hierarchical UML state machines. In MoDeVa: Model Development, Validation and Verification; 3rd International Workshop, Genova, Italy, October 2006, pages 94–110, 2006.

Suggested BibTeX entry:

@inproceedings{JussilaDubrovinJunttilaLatvalaPorres:MoDeVa2006,
    author = {Toni Jussila and Jori Dubrovin and Tommi Junttila and Timo Latvala and Ivan Porres},
    booktitle = {MoDeV$^2$a: Model Development, Validation and Verification; 3rd International Workshop, Genova, Italy, October 2006},
    pages = {94--110},
    title = {Model Checking Dynamic and Hierarchical {UML} State Machines},
    year = {2006},
}

See modeva.itee.uq.edu.au ...