Developing Topology Discovery in Event-B (BiBTeX)

@Article{hoang09:_devel_event_b,
  author = 	 {Thai Son Hoang and Hironobu Kuruma and David Basin and Jean-Raymond Abrial},
  title = 	 {Developing Topology Discovery in {Event-B}},
  journal = 	 {Science of Computer Programming},
  year = 	 2009,
  month = 	 nov,
  volume = 	 74,
  number = 	 {11--12},
  pages = 	 {879--899},
  publisher =    {Elsevier},
  note = 	 {\url{http://dx.doi.org/10.1016/j.scico.2009.07.006}}
}