46	  Bendisposto, Jens and Leuschel, Michael and Ligot, Olivier and Samia, Mireille  (2008) La validation de modèles Event-B avec le plug-in ProB pour RODIN.  TSI .   pp. 1065-1084.      
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>