%A Christophe Ponsard %A Jean-Christophe Deprez %T Collaborative Building of an Open Evidence Repository to Drive the Adoption of Formal Engineering Methods %C Limerick (Ireland) %D 2011 %L deploy323