From Requirements Models to Formal Specifications in B. - Christophe Ponsard; Emmanuel Dieul (ReMo2V, 2006)