@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",
    booktitle = "3rd Workshop on Model Design and Validation (MoDeVa 2006)",
    optaddress = "",
    optnote = "",
    optpublisher = "",
    optpages = "",
    optannote = "",
    flags = "SMUML,copy",
    optorganization = "",
    year = "to appear",
    optvolume = "",
    opteditor = "",
    optseries = ""
}