Development Life-cycle of Critical Software Under FoCaL. - Philippe Ayrault; Thérèse Hardin; François Pessaux (TTSS, 2008)

Development of a Generic Voter under FoCal. - Philippe Ayrault; Thérèse Hardin; François Pessaux (TAP@TOOLS, 2009)

ML Dependency Analysis for Assessors. - Philippe Ayrault; Vincent Benayoun; Catherine Dubois; François Pessaux (SEFM, 2012)