Abrial, Jean-Raymond and Butler, Michael and Hallerstede, Stefan and Voisin, Laurent  (2008) A Roadmap for the Rodin Toolset.  In: Abstract State Machines, B and Z, First International Conference ABZ 2008.