@InProceedings{SEFM07,
  author = 	 {Peter  H.~Schmitt and Isabel Tonin},
  title = 	 {Verifying the Mondex Case Study},
  booktitle = {Proc. 5.IEEE Int.Conf. on Software Engineeging and
 Formal Methods (SEFM)},
  pages = 	 {47--56},
  year = 	 {2007},
  editor = 	 {Mike Hinchey and Tiziana Margaria},
  publisher = {IEEE Press}
}