M. Maarek and V. Prevosto, FoCDoC: the documentation system of FoC, Proceedings of Calculemus, 2003.

R. Bonichon, D. Delahaye, and D. Doligez, Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs, LPAR, pp.151-165, 2007.
DOI : 10.1007/978-3-540-75560-9_13
URL : https://hal.archives-ouvertes.fr/inria-00315920

D. Delahaye, J. F. Etienne, and V. Donzeau-gouge, Producing UML Models from Focal Specifications: An Application to Airport Security Regulations, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, pp.121-124, 2008.
DOI : 10.1109/TASE.2008.35
URL : https://hal.archives-ouvertes.fr/hal-01125582

M. Carlier and C. Dubois, Functional Testing in the Focal Environment, Test And Proof Hahnle eds, pp.84-98, 2008.
DOI : 10.1007/978-3-540-79124-9_7
URL : https://hal.archives-ouvertes.fr/hal-01125411

P. Ayrault, T. Hardin, and F. Pessaux, Development Life-cycle of Critical Software Under FoCaL, TTSS'08, harnessing Theories for Tools Support in Software, 2008.
DOI : 10.1016/j.entcs.2009.07.003
URL : https://hal.archives-ouvertes.fr/hal-01195843

R. Paul and . Lorczack, Theoretical Investigation of Generalized Voters for Redundant Systems, Digest of Papers FTCS-19: The Nineteenth International Symposium on Fault-Tolerant Computing, pp.444-451, 1989.

S. Dajani-brown, D. Cofer, and A. Bouali, Formal verification of an avionics sensor voter using SCADE " , Formal Techniques, Modelling and Analysis of Timed and Fault- Tolerant Systems, pp.5-20, 2004.

X. Leroy, D. Doligez, J. Garrigue, D. Rémy, and J. Vouillon, The Objective Caml system, documentation and user manual. release 3.11, Documents include with the Objective Caml distribution, 2008.

Y. Bertot and P. Castéran, Coq'Art: The Calculus of Inductive Constructions, Series: Texts in Theoretical Computer Science. An EATCS Series
URL : https://hal.archives-ouvertes.fr/hal-00344237

C. Dubois, T. Hardin, and V. Viguié-donzeau-gouge, Building a certified component within FoCaL, Trends in Functional Programming Intellect, vol.5, pp.33-48, 2006.

E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-brückner, P. D. Moss et al., CASL: the Common Algebraic Specification Language, Theoretical Computer Science, vol.286, issue.2, pp.153-196, 2002.
DOI : 10.1016/S0304-3975(01)00368-1
URL : https://hal.archives-ouvertes.fr/inria-00101008

D. Aspinall and D. Sannella, From specification to code in CASL " AMAST, 2002.

R. The and . Group, The RAISE Development Method, 1995.