@InProceedings{,
  author = 	 {Stefan Ratschan and Jan-Georg Smaus},
  title = 	 {Verification-Integrated Falsification of Non-Deterministic Hybrid Systems},
  crossref =     {Cassandras:06},
  year =	 2006
}

@Proceedings{Cassandras:06,
  title = 	 {Analysis and Design of Hybrid Systems 2006},
  year = 	 2006,
  booktitle =	 {Analysis and Design of Hybrid Systems 2006},
  editor =	 {Christos Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon},
  publisher =	 {Elsevier}
}