Formal Data Validation with Event-B - Frédéric Badeau; Marielle Petit-Doche (CoRR, 2012)

Formal Verification of Industrial Critical Software. - Marielle Petit-Doche; Nicolas Breton; Roméo Courbis; Yoann Fonteneau; Matthias Güdemann (FMICS, 2015)