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