Formal Verification of Industrial Critical Software - Marielle Petit-Doche; Nicolas Breton; Roméo Courbis; Yoann Fonteneau; Matthias Güdemann (Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings, 2015)

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