Developing Topology Discovery in Event-B (BiBTeX)

@TechReport{hoang08:_devel_topol_discov_in_event_b,
  author = 	 {Thai Son Hoang and Hironobu Kuruma and David Basin and Jean-Raymond Abrial},
  title = 	 {Developing Topology Discovery in Event-B},
  institution =  {Department of Computer Science, ETH Zurich},
  year = 	 2008,
  number = 	 611,
  month = 	 nov,
  note =
  {\url{http://www.inf.ethz.ch/research/disstechreps/techreports}}
}