@InProceedings{bhjp-fates04,
  author = 	 {Johan Blom and Anders Hessel and Bengt Jonsson and 
                  Paul Pettersson},
  title = 	 {Specifying and generating Test Cases Using Observer Automata},
  booktitle = 	 {In Proc.\ of Formal Approaches to Software Testing},
  pages = 	 {125--139},
  year = 	 {2004},
  editor = 	 {Jens Grabowski and Brian Nielsen},
  number = 	 {3395},
  series = 	 LNCS,
  publisher = SPRINGER
}