Applying a Formal Method in Industry: A 25-Year Trajectory. - Thierry Lecomte; David Déharbe; Étienne Prun; Erwan Mottin (SBMF, 2017)