152	  Bendisposto, Jens and Leuschel, Michael   Proof Assisted Model Checking for B.  [Rodin Archive]