5	  Leuschel, Michael and Butler, Michael  (2008) ProB: An Automated Analysis Toolset for the B Method.  International Journal on Software Tools for Technology Transfer, 10  (2).   pp. 185-203.