RODIN: an Open Toolset for Modelling and Reasoning in Event-B (BiBTeX)

@Article{abrial10:_rodin,
  author = 	 {Jean-Raymond Abrial and Michael Butler and Stefan Hallerstede and Thai Son Hoang and Farhad Mehta and Laurent Voisin},
  title = 	 {Rodin: An Open Toolset for Modelling and Reasoning in {Event-B}},
  journal = 	 {Software Tools for Technology Transfer},
  year = 	 2010,
  month = 	 nov,
  volume = 	 12,
  number = 	 6,
  pages = 	 {447--466},
  publisher =    {Springer-Verlag},
  note = 	 {\url{http://dx.doi.org/10.1007/s10009-010-0145-y}}
}