@techreport{
    HUT-TCS-B23,
    author = "Dubrovin, Jori and Junttila, Tommi",
    title = "Symbolic Model Checking of Hierarchical {UML} State Machines",
    year = "2007",
    number = "B23",
    month = "December",
    flags = "copy SMUML",
    address = "Espoo, Finland",
    type = "Technical Report",
    institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science"
}