@inproceedings{b99cf4d3f7ff4e0a9e1a009db7ca1094,
title = "Symbolic Model Checking of Hierarchical UML State Machines",
keywords = "symbolic model checking, UML semantics, UML state machine, verification, symbolic model checking, UML semantics, UML state machine, verification, symbolic model checking, UML semantics, UML state machine, verification",
author = "Jori Dubrovin and Tommi Junttila",
year = "2008",
language = "English",
pages = "108--117",
editor = "Jonathan Billington and Zhenhua Duan and Maciej Koutny",
booktitle = "The 8th International Conference on Application of Concurrency to System Design (ACSD'08)",
publisher = "IEEE",
address = "United States",
}