@InProceedings{,
  author = 	 {Gerald Lüttgen and Victor Carreņo},
  title = 	 {Analyzing Mode Confusion via Model Checking},
  booktitle = 	 {International SPIN Workshop},
  OPTyear = 	 {1999},
}