Abrial, Jean-Raymond and Butler, Michael and Hallerstede, Stefan and Hoang, Thai Son and Mehta, Farhad and Voisin, Laurent  (2009) Rodin: An Open Toolset for Modelling and Reasoning in Event-B.  Technical Report. DEPLOY Project.    (Unpublished)