@InProceedings{Lilius:1999:UML,
  author =       "Johan Lilius and Ivan Porres Paltor",
  title =        "Formalising {UML} State Machines for Model Checking",
  pages =        "430--445",
  booktitle =    "UML'99 - The Unified Modeling Language. Beyond the
                  Standard. Second International Conference, Fort Collins,
                  CO, USA, October 28-30. 1999, Proceedings",
  editor =       "Robert France and Bernhard Rumpe",
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "1723",
  year =         "1999",
}