La validation de modèles Event-B avec le plug-in ProB pour RODIN. - Jens Bendisposto; Michael Leuschel; O. Ligot; Mireille Samia (Tech. Sci. Informatiques, 2008)