P. Lhoste, Contribution au génie automatique : concepts, modèles, méthodes et outils. Habilitation à diriger des recherches, p.147, 1994.

. Gaudel, Précis de logiciel, Enseignement de l'informatique, 1996.

B. W. Boehm, Verifying and Validating Software Requirements and Design Specifications, IEEE Software, vol.1, issue.1, 1984.
DOI : 10.1109/MS.1984.233702

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.8494

C. Nd-2172, M. Neugnot, and . Kneppert, Logiciels applicatifs relatifs à la sécurité. Étude des problèmes liés à leur exploitation, INRS, 16 p, 2002.

P. Ns-243 and . Lamy, Développement du logiciel applicatif : hiérarchisation des prescriptions de la norme CDV CEI 62061 et guide explicatif à destination des utilisateurs d'automates programmables, INRS, p.47, 2004.

N. Iso, Traitement de l'information ? Ingénierie du logiciel, Processus du cycle de vie du logiciel, AFNOR, 66 p, 1995.

P. Nd-2140 and . Charpentier, Comment construire les tests d'un logiciel, INRS, 14 p, 2000.

I. Tr, Automates programmables -Partie 8: Lignes directrices pour l'application et la mise en oeuvre des langages de programmation, rapport technique IEC, version anglaise, pp.61131-61139, 2003.

J. C. Blaise, J. P. Bello, and J. Baudoin, Validation of the control system of a press using a programmable electronic system, actes du congrès Sécurité des Systèmes Industriels Automatisés, pp.5-91, 2003.

D. Nst-224 and M. Dei-svaldi, Kneppert Gestion des fonctions de sécurité par automate programmable dédié à la sécurité (APIdS, INRS, 24 p, 2002.