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 3rd Workshop on Model Design and Validation (MoDeVa 2006), to appear.

Suggested BibTeX entry:

@inproceedings{JussilaDubrovinJunttilaLatvalaPorres:MoDeVa2006,
    author = {Toni Jussila and Jori Dubrovin and Tommi Junttila and Timo Latvala and Ivan Porres},
    booktitle = {3rd Workshop on Model Design and Validation (MoDeVa 2006)},
    title = {Model Checking Dynamic and Hierarchical {UML} State Machines},
    year = {to appear},
}