@inproceedings{
    DubrovinJunttila:ACSD2008,
    editor = "Billington, Jonathan and Duan, Zhenhua and Koutny, Maciej",
    author = "Dubrovin, Jori and Junttila, Tommi",
    publisher = "IEEE Press",
    title = "Symbolic Model Checking of Hierarchical {UML} State Machines",
    url = "http://dx.doi.org/10.1109/ACSD.2008.4574602",
    booktitle = "Proceedings of the 2008 8th International Conference on Application of Concurrency to System Design",
    address = "Xi`an, China",
    month = "June 23--27",
    flags = "copy SMUML DC",
    year = "2008",
    pages = "108--117"
}