@inproceedings{
    JussilaDubrovinJunttilaLatvalaPorres:MoDeVa2006,
    author = "Jussila, Toni and Dubrovin, Jori and Junttila, Tommi and Latvala, Timo and Porres, Ivan",
    optmonth = "",
    optnumber = "",
    title = "Model Checking Dynamic and Hierarchical {UML} State Machines",
    url = "http://modeva.itee.uq.edu.au/accepted_papers/paper_4_8.pdf",
    booktitle = "MoDeV$^2$a: Model Development, Validation and Verification; 3rd International Workshop, Genova, Italy, October 2006",
    optaddress = "",
    optnote = "",
    optpublisher = "",
    pages = "94--110",
    optannote = "",
    flags = "SMUML",
    optorganization = "ACM/IEEE",
    year = "2006",
    optvolume = "",
    opteditor = {Beno\^{\i}it Baudry and David Hearnden and Nicolas Rapin and J\"orn Guy S\"u\ss},
    optseries = ""
}