J. R. Abrial, The B Book Assigning Programs to Meanings, 1996.

P. Behm, P. Benoit, A. Faivre, and J. Meynadier, M??t??or: A Successful Application of B in a Large Project, FM'99, 1999.
DOI : 10.1007/3-540-48119-2_22

B. Bérard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit et al., Systems and software verification, 2001.
DOI : 10.1007/978-3-662-04558-9

S. Berezin, S. Campos, and E. M. Clarke, Compositional reasoning in model checking, Proc. COMPOS, pp.81-102, 1997.

J. Beugin, D. Renaux, and L. Cauffriez, A SIL quantification approach based on an operating situation model for safety evaluation in complex guided transportation systems, Reliability Engineering & System Safety, vol.92, issue.12, 2007.
DOI : 10.1016/j.ress.2006.09.022

URL : https://hal.archives-ouvertes.fr/hal-00289461

J. C. Blaise, P. Lhoste, and P. Ciccotelli, Formalisation of normative knowledge for safe design, Safety Science, vol.41, issue.2-3, pp.241-26115, 2003.
DOI : 10.1016/S0925-7535(02)00004-8

URL : https://hal.archives-ouvertes.fr/hal-00137269

B. W. Boehm, A spiral model of software development, ACM, SIGSOFT, vol.11, 1986.

B. Boehm and D. Port, Balancing discipline and flexibility with the spiral model and MBASE. Cross Talk decembre, pp.23-28, 2001.

E. Bon-bierel, Contribution à l'intégration des modèles de systèmes de production manufacturière par méta-modélisation, p.57, 1998.

T. Bouabana-tebibel and M. Belmesk, An object-oriented approach to formally analyze the UML 2.0 activity partitions, Information and Software Technology, vol.49, issue.9-10, pp.999-1016, 2007.
DOI : 10.1016/j.infsof.2006.10.007

A. Bouti and D. A. Kadi, A STATE-OF-THE-ART REVIEW OF FMEA/FMECA, International Journal of Reliability, Quality and Safety Engineering, vol.01, issue.04, pp.4-515, 1994.
DOI : 10.1142/S0218539394000362

A. C. Brombacher and I. W. Van-beurden, RIFIT: analyzing hardware and software in safeguarding systems, Reliability Engineering & System Safety, vol.66, issue.2, pp.149-156, 1999.
DOI : 10.1016/S0951-8320(99)00032-0

S. Brown, Overview of IEC 61508. Design of electrical/electronic/programmable electronic safety-related systems, Computing & Control Engineering Journal, vol.11, issue.1, 2000.
DOI : 10.1049/cce:20000101

J. P. Buchweiller, Quelques repères pour s'orienter dans la normalisation traitant des circuits de commande relatifs à la sécurité, Cahier de notes documentaires -Hygiène et sécurité du travail -N°192, 3 eme trimestre 2003. Références et Annexes -145

P. Carer, P. Leclercq, and S. Humbert, Etudes pour la maîtrise de la fiabilité logicielle des nouveaux systèmes numériques installés sur les réseaux moyenne tension et basse tension d'EDF. 15eme Colloque Lambda MU-IMdR, 2006.

V. Chapurlat, Vérification et validation de modèles de systèmes complexes: application à la modélisation d'entreprise. Habilitation à Diriger des Recherches, 2007.

C. Charpentier, Equipements de travail, sécurité des systèmes programmés, p.18, 2006.

S. K. Dawking and S. Riddle, Managing and supporting the use of COTS, Proceedings of the 8th Safety CRitical Systems Sympsium, 2000.

D. E. Eckhardt, A. K. Caglayan, J. C. Knight, L. D. Lee, D. F. Mcallister et al., An experimental evaluation of software redundancy as a strategy for improving reliability, IEEE Transactions on Software Engineering, vol.17, issue.7, pp.7-692, 1991.
DOI : 10.1109/32.83905

M. H. Eljamal, Contribution à 'évolution des exigences et son impact sur la sécurité, Thèse de doctorat de l'université Paul Sabatier de Toulouse, soutenue publiquement le 12, p.53, 2006.

D. Evrot, P. Lamy, and J. Petin, Un comparatif d'outils formels, Actes du congré Lambda Mu 15, p.67, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00120758

D. Evrot, J. Pétin, and D. Mery, FORMAL SPECIFICATION OF SAFE MANUFACTURING MACHINES USING THE B METHOD: APPLICATION TO A MECHANICAL PRESS, proc. 12th IFAC INCOM, pp.1-277
DOI : 10.3182/20060517-3-FR-2903.00155

URL : https://hal.archives-ouvertes.fr/hal-00120743

D. Evrot, J. Pétin, G. Morel, and P. Lamy, USING SYSML FOR IDENTIFICATION AND REFINEMENT OF MACHINERY SAFETY PROPERTIES, Actes du congrés Dependable Control of Discretes Systems, p.102, 2007.
DOI : 10.3182/20070613-3-FR-4909.00024

URL : https://hal.archives-ouvertes.fr/hal-00152383

E. , C. Rendu-du, and C. , groupe d'évaluation des langages d'automates". Réunion du 24, INRS doc interne n° IET-S/00CRR-041, p.3, 2000.

E. Fadier and C. De-la-garza, Safety design: Towards a new philosophy, Safety Science, vol.44, issue.1, pp.55-73, 2006.
DOI : 10.1016/j.ssci.2005.09.008

J. M. Favre, J. Estublier, and M. Blay-fornarino, L'ingénierie dirigée par les modèles: au-delà du MDA, Informatique et Systèmes d'Informations. Hermes - Références et Annexes, pp.56-146, 2006.

K. Forsberg, H. Cotterman, and H. Mooz, Vizualizing Project Management: Models and frameworks for mastering complex systems. Relié -23 semptemebre, 2005.

K. Forsberg and H. Mooz, The relationship of system engineering to the project cycle, Proceedings of the 1991 INCOSE Symposium, 1991.

V. Gourcuff, D. Smet, O. Faure, and J. M. , Efficient Representation for Formal Verification of PLC Programs, 2006 8th International Workshop on Discrete Event Systems, pp.182-187, 2006.
DOI : 10.1109/WODES.2006.1678428

URL : https://hal.archives-ouvertes.fr/hal-00175431

H. Guo and X. Yang, A simple reliability block diagram method for safety integrity verification, Reliability Engineering & System Safety, vol.92, issue.9, pp.1267-1273, 2006.
DOI : 10.1016/j.ress.2006.08.002

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

W. Heaven and A. Finkelstein, UML profile to support requirements engineering with KAOS, IEE Proceedings - Software, vol.151, issue.1, pp.10-27
DOI : 10.1049/ip-sen:20040297

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

G. Huet, G. Khan, and C. Paulin-mohring, The Coq proof assistant ? a tutorial, 1995.
URL : https://hal.archives-ouvertes.fr/inria-00069993

R. Isermann, J. Schaffnit, and S. Sinsel, Hardware-in-the-loop simulation for the design and testing of engine-control systems, Control Engineering Practice, vol.7, issue.5, pp.643-653, 1999.
DOI : 10.1016/S0967-0661(98)00205-6

I. Guide, Aspects liés à la sécurité. Principes directeurs pour les inclure dans les normes, p.11, 1999.

K. Jensen, L. M. Kristensen, and W. L. , Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.213-254, 2007.
DOI : 10.1007/978-1-4757-3143-9

T. L. Johnson, Improving automation software dependability: a role for formal methods ? Control Engineering Practice, pp.1403-1415, 2007.

C. B. Jones, Systematic Software Development using VDM, 1990.

K. Foguem and B. , Modélisation et vérification des propriétés de systèmes complexes: application aux processus d'entreprise, 2004.

T. Kim, D. Stringer-calvert, and S. Cha, Formal verification of functional properties of a SCR-style software requirements specification using PVS, Reliability Engineering & System Safety, vol.87, issue.3, pp.351-363, 2005.
DOI : 10.1016/j.ress.2004.06.005

M. Kneppert, SADT. Cahier de note INRS, pp.175-19231, 1986.

E. Lamine, Définition d'un modèle de propriété et proposition d'un langage de spécifiction associé: LUSP, Thèse de doctorat de l'université de Montpelier II, 2001.

P. Lamy, Experience feedback concerning develoment methodology for programmable electronic system application software, Actes du du 3ème congrés international Safety of Industrial Automated Systems, 2003.

M. Lebrun, Simulation et CAO en mécanique et mécatronique, p.15, 2003.

P. Marangé, F. Gellot, V. Carré-ménétrier, and B. Riera, Validation de commande des systèmes à évènements discrets, pp.86-10297, 2007.

L. Mauguy, Historique et attentes de PSA sur les otuils numériques. Journée "méthodes et outils pour l'automatisation" du club automation, 2005.

T. F. Melham and M. J. Gordon, Introduction to HOL: A theorem proving Environment for higher-order logic, 1993.

J. P. Ménadier, Le metier d'intégration de systèmes, 2002.

C. Neugnot and M. Kneppert, Logiciels applicatifs relatifs à la sécurité. Etude des problèmes liés à leur exploitation. Cahiers de notes documentaires -Hygiènes et sécurité du travail -N° 187, 2002.

E. Niel, L. Pietrac, and L. Regimbal, Advantages and drawbacks of the logic programm synthesis using supervisory control theory, p.1, 2001.

F. Ortmeier, G. Schellhorn, A. Thums, W. Reif, B. Hering et al., Safety analysis of the height control system for the Elbtunnel, Reliability Engineering & System Safety, vol.81, issue.3, pp.259-268, 2003.
DOI : 10.1016/S0951-8320(03)00090-5

S. Owre, S. Rajan, J. Rushby, N. Shankar, and M. K. Srivas, PVS: Combining specification, proof checking, and model checking, LNCS, vol.1102, pp.411-414, 1996.
DOI : 10.1007/3-540-61474-5_91

J. D. Palmer, Traceability, In Software Requirements Engineering, pp.364-374, 1997.

M. C. Paulk, C. V. Weber, B. Curtis, and M. B. Chrissis, The Capability Maturity Model. Guidelines for Improving the Software Process, 148 - Références et Annexes, 1995.

L. C. Paulson, Isabelle: A Generic Theorem Prover, Lecture Notes in Computer Science, vol.828, 1994.
DOI : 10.1007/BFb0030541

J. Pénalva, La représentation par les systèmes en situation complexe, 1997.

J. F. Petin, Méthodes et Modèles pour un processus sur d'automatisation, Habilitation à diriger les recherches, 2007.

J. Pétin, G. Morel, and H. Panetto, Formal Specification Method for Systems Automation, European Journal of Control, vol.12, issue.2, 2006.
DOI : 10.3166/ejc.12.115-130

L. Piétrac, Apport de la méta-modélisation formelle pour la conception des systèmes automatisés de production, Thèse de l'Ecole Normale Supérieure de Cachan, p.57, 1999.

M. Pilz and . Utilisateur, Ref: 8-8-012-03/99 Sach-Nr, p.5, 1999.

P. J. Ramadge and W. M. Wonham, Supervisory control of a class of discrete event processes, SIAM J. Control and Optimization, vol.25, issue.1, 1987.

R. B. Jarke and M. , Toward reference models for requirements traceability, 2001.

F. Redmill, Analysis of the COTS debate, Safety Science, vol.42, issue.5, pp.335-367, 2004.
DOI : 10.1016/j.ssci.2003.09.005

J. M. Roussel and D. Denis, Safety properties verification of ladder diagram programs, Européen des Systèmes Automatisés, pp.905-91768, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00356881

J. Rouvroye and A. Brombracher, New quantitative safety standards: different techniques, differents results? Reliability Engineering and System Safety, pp.121-126, 1999.

J. Rushby, Using model checking to help discover mode confusions and other automation surprises, Reliability Engineering & System Safety, vol.75, issue.2, pp.167-177, 2002.
DOI : 10.1016/S0951-8320(01)00092-8

S. Sheard, Complex Systems Science and its Effects on Systems Engineering, European Systems Engineering Conference, 2006.

T. Shell, Systems functions implementation and behavioural modelling: system theoretic approach, International Journal of Systems Engineering, vol.4, issue.1, 2001.

S. H. Son and P. H. Seong, Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application, Reliability Engineering & System Safety, vol.80, issue.1, pp.19-32, 2001.
DOI : 10.1016/S0951-8320(02)00159-X

J. F. Sowa and J. A. Zachman, Extending and formalizing the framework for information systems architecture, IBM Systems Journal, vol.31, issue.3, pp.590-61657, 1992.
DOI : 10.1147/sj.313.0590

J. M. Spivey, The Z notation: a reference manual, 1989.

K. Thramboulidis and C. Tranoris, Developping a CASE tolls for distributed control applications, Journal of advanced manufacturing technology, vol.242, issue.1, pp.24-31, 2007.

C. Tranoris and K. Thramboulidis, A tool supported engineering process for developing control applications, Computers in Industry, vol.57, issue.5, pp.462-47257, 2006.
DOI : 10.1016/j.compind.2006.02.006

A. Villemeur, Sûreté de fonctionnement des systèmes industriels - Fiabilité, facteurs humains, informatisation. Collection de la direction des études et recherche d'EdF, 1988.

V. Knethen and A. , A trace model for system requirements changes on embedded systems, Proceedings of the 4th international workshop on Principles of software evolution , IWPSE '01, p.77, 2001.
DOI : 10.1145/602461.602465

A. Von-knethen, Change-oriented requirements traceability. Support for evolution of embedded systems, International Conference on Software Maintenance, 2002. Proceedings., pp.482-485, 2002.
DOI : 10.1109/ICSM.2002.1167808

T. Zhang, W. Long, and Y. Sato, Availability of systems with self diagnostics components-applying Markov model to IEC 61508-6. Reliability Engineering and System Safety, pp.133-141, 2003.

W. Zhang, . Diedrich-ch, and W. A. Halang, Specification of Function Block Applications with UML, Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005.
DOI : 10.1109/ROBOT.2005.1570733

M. Zimmerman, M. Rodriguez, B. Ingram, M. Katahira, M. De-villepin et al., Making formal methods practical, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126), 2000.
DOI : 10.1109/DASC.2000.886879

URL : http://sunnyday.mit.edu/papers/dasc-fm.ps