439	  Snook, Colin and Butler, Michael  (2008) UML-B: A plug-in for the Event-B tool set.  In: Abstract State Machines, B and Z, First International Conference ABZ 2008.