Rezazadeh, Abdolbaghi and Butler, Michael and Evans, Neil  (2007) Redevelopment of an Industrial Case Study Using Event-B and Rodin.  [Rodin Archive]    (In Press)