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