@inproceedings{SchinzTobenMrugallaWestphal2004,
  author       = "Ingo Schinz and Tobe Toben and Christian Mrugalla and Bernd Westphal",
  title        = "The Rhapsody UML Verification Environment",
  year         = "2004",
  booktitle    = "Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), Beijing, China",
  editor       = "Jorge R. Cuellar and Zhiming Liu",
  month        = sep,
  publisher    = "IEEE",
  pages        = "174--183"
}