@InProceedings{JussilaDubrovinJunttilaLatvalaPorres:MoDeVa2006,
  author =    {Toni Jussila and Jori Dubrovin and Tommi Junttila and
               Timo Latvala and Ivan Porres},
  title =     {Model Checking Dynamic and Hierarchical {UML} State Machines},
  booktitle = {MoDeV$^2$a: Model Development, Validation and Verification; 3rd International Workshop, Genova, Italy, October 2006},
  pages = 	 {94--110},
  year =      {2006},
  OPTeditor = 	 {Beno\^{\i}it Baudry and David Hearnden and Nicolas Rapin and
                  J\"orn Guy S\"u\ss},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {ACM/IEEE},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {},
  flags =        {SMUML},
}