@InProceedings{ hoang.ea:developing:2009, author = {Thai Son Hoang and Hironobu Kuruma and David A. Basin and Jean-Raymond Abrial}, booktitle = {7th International Conference on Integrated Formal Methods (IFM)}, editor = {Michael Leuschel and Heike Wehrheim}, isbn = {978-3-642-00254-0}, language = {USenglish}, pages = {1--19}, pdf = {papers/2009/jlc09.pdf}, publisher = {Springer}, series = {LNCS}, title = {Developing Topology Discovery in Event-B}, volume = 5423, year = 2009, user = {bgeiser} }