@Article{ abrial.ea:rodin:2010, author = {Jean-Raymond Abrial and Michael Butler and Stefan Hallerstede and Thai Son Hoang and Farhad Mehta and Laurent Voisin}, copyright = {Springer}, copyrighturl = {http://www.springer.de/comp/lncs}, journal = {STTT}, language = {USenglish}, number = 6, title = {RODIN: An Open Toolset for Modelling and Reasoning in Event-B}, volume = 12, year = 2010, user = {htson} }