Hoang, Thai Son and Kuruma, Hironobu and Basin, David and Abrial, Jean-Raymond (2009) Developing Topology Discovery in Event-B. Integrated Formal Methods . pp. 1-19.