149	  Leuschel, Michael and Falampin, Jérôme and Fabian, Fritz and Daniel, Plagge   Automated Property Verification for Large Scale B Models.   In:  Proceedings FM 2009.   Springer-Verlag.     (In Press)