How to Interpret Failed Proofs in Event-B (BiBTeX)

@TechReport{hoang10:_how_inter_failed_proof_event_b,
  author = 	 {Thai Son Hoang},
  title = 	 {How to Interpret Failed Proofs in Event-B},
  institution =  {ETH Zurich},
  year = 	 2010,
  number = 	 672,
  note = 	 {\url{http://www.inf.ethz.ch/research/disstechreps/techreports/index?range=600}}
}