@. G. Morel and J. F. Pétin, Convention de collaboration entre l'Université H, p.5052332, 2005.

@. A. Thomas and J. F. Pétin, Convention de collaboration entre l, 2005.

J. R. Abrial and L. Mussat, Introducing dynamic constraints in B. Lecture Notes in Computer Science, B'98 : The 2nd, pp.83-128, 1998.

J. R. Abrial, The B Book: Assigning Programs to Meanings, 1996.
DOI : 10.1017/CBO9780511624162

R. Alur and T. A. Henzinger, Logics and models of real time : a survey, Lecture Notes in Computer Science, Real time: theory and practice, pp.74-106, 1991.

F. Auinger, R. Brennan, J. Christensen, L. M. Lastra, and V. Vyatkin, Requirements and solutions to software encapsulation and engineering in next generation manufacturing systems: OOONEIDA approach, International Journal of Computer Integrated Manufacturing, vol.2, issue.7, pp.572-585, 2005.
DOI : 10.1023/A:1022295414523

S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-toi, and G. F. Franklin, Supervisory control of a rapid thermal multiprocessor, IEEE Transactions on Automatic Control, vol.38, issue.7, 1993.
DOI : 10.1109/9.231459

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

A. Belhimeur, Contribution à l'étude d'une méthode de conception des automatismes des systèmes de conduite des processus industriels, Thèse de Doctorat en Automatique, 1989.

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, vol.79, issue.9, p.9, 1991.
DOI : 10.1109/5.97297

URL : https://hal.archives-ouvertes.fr/inria-00075115

A. Benveniste, B. Caillaud, L. Guernic, and P. , From Synchrony to Asynchrony, CONCUR'99, « Concurrency Theory », 10th International Conference, pp.162-177, 1999.
DOI : 10.1007/3-540-48320-9_13

URL : https://hal.archives-ouvertes.fr/inria-00073032

B. Boehm, A spiral model of software development and enhancement, Computer, vol.21, issue.5, pp.61-72, 1988.
DOI : 10.1109/2.59

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

B. A. Brandin, R. Malik, and P. Malik, Incremental Verification and Synthesis of Discrete-Event Systems Guided by Counter Examples, IEEE Transactions on Control Systems Technology, vol.12, issue.3, pp.387-401, 2004.
DOI : 10.1109/TCST.2004.824795

J. F. Broenink, Object-oriented modelling with bond graphs and Modelica, International Conference on Bond Graph Modelling and Simulation (ICBGM'99), 1999.

J. Brown, P. J. Sackett, and J. C. Wortmann, Future manufacturing systems???Towards the extended enterprise, Computers in Industry, vol.25, issue.3, pp.123-137, 1995.
DOI : 10.1016/0166-3615(94)00035-O

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

J. P. Calvez, Spécification et conception des systèmes, 1990.

C. G. Cassandras and S. Lafortune, Introduction to discrete event systems. Kluwer Academic, 1999.

S. Chafik, Proposition d'une structure de contrôle par supervision hiérarchique et distribuée : application à la coordination, 2000.

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

H. Chen and H. M. Hanisch, Control synthesis of timed discrete event systems: part one and two, th Triennial IFAC World Congress, 1999.

Y. L. Chen, S. Lafortune, and F. Lin, Incremental model evolution and reusability of supervisors for discrete event systems, Automatica, vol.36, issue.2, pp.243-259, 2000.
DOI : 10.1016/S0005-1098(99)00142-9

F. Chiron and K. Kouiss, Distributed control systems : from design to real implementation with UML 2.0, IESM05 International Conference on Industrial Engineering and Systems Management, 2005.

E. M. Clarke, O. Grunberg, and D. A. Peled, Model Checking, 2000.

F. Corbier, Modélisation et émulation de la partie opérative pour la recette en plateforme d'équipements automatisés, 1989.

D. Silveira, G. Borenstein, D. Fogliatto, and F. S. , Mass customization: Literature review and research directions, International Journal of Production Economics, vol.72, issue.1, pp.1-13, 2001.
DOI : 10.1016/S0925-5273(00)00079-7

S. M. Deen, Agent-Based Manufacturing -Advances in the Holonic Approach, 2003.

D. Lamotte, F. Berruet-an, P. Philippe, and J. L. , Using model engineering for the criticality analysis of reconfigurable manufacturing systems architectures, special issue on Manufacturing under changing environment, 2006.
DOI : 10.1504/IJMTM.2007.013322

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

B. Denis, Assistance à la coneption et à l'évaluation de l'architecture de conduite des systèmes de production complexes, Thèse de, 1994.

E. W. Dijkstra, A note on two problems in connexion with graphs, Numerische Mathematik, vol.4, issue.1, pp.269-271, 1959.
DOI : 10.1007/BF01386390

S. Easterbrook, An introduction to formal modelling in requirements engineering, 10th joint International Requirements Engineering Conference, p.9, 2002.

E. Khattabi and S. , Intégration de la surveillance de bas niveau dans la conception des systèmes à événements discrets : application aux systèmes de production flexibles, Thèse de l, 1993.

E. W. Endsley, E. E. Almeida, and D. M. Tilbury, Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation, Control Engineering Practice, vol.14, issue.10, pp.1127-1142, 2006.
DOI : 10.1016/j.conengprac.2006.02.001

M. Fabian and A. Hellgren, PLC-based implementation of supervisory control for discrete event systems, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171), 1998.
DOI : 10.1109/CDC.1998.758209

M. Fabian and R. Kumar, Mutually nonblocking supervisory control of discrete event systems, Automatica, vol.36, issue.12, pp.1863-1869, 2000.
DOI : 10.1016/S0005-1098(00)00102-3

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, 2006.

C. Féliot, Modélisation des systèmes complexes: intégration et formalisation de modèles, Thèse de Doctorat de l'Université des Sciences et Technologies de Lille, 1997.

L. Ferrarini, C. Veber, C. Schwab, M. Tangermann, and A. Prayati, CONTROL FUNCTIONS DEVELOPMENT FOR DISTRIBUTED AUTOMATION SYSTEMS USING THE TORERO APPROACH, 16th IFAC World CongressCzech Republic), 2005.
DOI : 10.3182/20050703-6-CZ-1902.01456

S. Fiorèse and J. P. Ménadier, Découvrir et comprendre l'Ingénierie Système, Rapport AFIS, 2007.

K. Forsberg, H. Mooz, and H. Cotterman, Visualizing Project Management: Models and Frameworks for Mastering Complex Systems, pp.978-978, 2005.

J. P. Frachet, Une introduction au génie automatique: faisabilité d'une chaîne intégrée d'outils CAO pour la conception et l'exploitation des machines automatiques industrielles, Thèse d'Etat, 1987.

A. Fusaoka, H. Seki, and K. Takahashi, A description and reasoning of plant controllers in temporal logic, Proceedings of the 8 th Int. Joint Conference on Artificial Intelligence, pp.405-408, 1983.

J. García-duque, M. Lopez-nores, J. J. Pazos-arias, A. Fernández-vilas, R. P. Díaz-redondo et al., Guidelines for the incremental identification of aspects in requirements specifications, Requirements Engineering, vol.14, issue.11, pp.239-263, 2006.
DOI : 10.1007/s00766-006-0028-7

A. Ghaffari, N. Rezg, and X. Xie, Algebraic and geometric characterization of Petri net controllers using the theory of regions, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., pp.2-4, 2002.
DOI : 10.1109/WODES.2002.1167691

URL : https://hal.archives-ouvertes.fr/inria-00100956

A. Godon and J. L. Ferrier, DES control design using petri nets, European Control Conference, ECC'97, pp.1-4, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00843996

A. Gouin and J. L. Ferrier, Modeling and supervisory control of timed automata, APII ? Journal Européen de Systèmes Auomatisés, vol.33, pp.8-9, 1999.
URL : https://hal.archives-ouvertes.fr/hal-00844543

O. Gout and T. Lambolais, Construction incrémentale de modèles comportementaux UML. Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, pp.29-42, 2004.

T. R. Gruber, Toward principles for the design of ontologies used for knowledge sharing?, Formal Ontology in Conceptual Analysis and Knowledge Representation, 1993.
DOI : 10.1006/ijhc.1995.1081

H. Gueguen, Synchronisme dans l'évolution des Statecharts. Colloque francophone sur la Modélisation des Systèmes réactifs, pp.96-367, 1996.

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

D. Harel and A. Pnueli, On the development of reactive systems in logic and models of concurrent systems, NATO ASI Series K.R. Apt Editions, vol.13, pp.477-498, 1985.

D. Harel, H. Lacover, A. Naamad, A. Pnueli, M. Politi et al., STATEMATE: a working environment for the development of complex reactive systems, IEEE Transactions on Software Engineering, vol.16, issue.4, pp.403-416, 1990.
DOI : 10.1109/32.54292

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

S. Henry, E. Zamai, and M. Jacomino, Real time reconfiguration of manufacturing systems, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), 2004.
DOI : 10.1109/ICSMC.2004.1401201

M. Heymann, F. Lin, and G. Meyer, Synthesis and viability of minimally interventive legal controllers for hybrid systems, Discrete Event Dynamic Systems: Theory and Application, pp.105-135, 1998.

K. Hiraishi, Synthesis of supervisors using learning algorithm of regular languages, Discrete Event Dynamic Systems, Theory and Applications, vol.11, pp.211-234, 2001.

B. W. Hollocks, H. T. Goranson, D. N. Shorter, and F. B. Vernandat, Assessing Enterprise Integration for Competitive Advantage, WG1 in Enterprise Engineering and Integration : Building International Consensus International conf. on Enterprise Modelling and Modelling Technology, pp.96-107, 1997.

R. Isermann and . Schaffnit, 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

B. Iung, Contribution à la distribution de l'intelligence dans les équipements de niveau zéro des processus industriels complexes, Thèse de doctorat, 1992.

B. Iung, E. Neunrether, and G. Morel, Engineering process of integrated ??? distributed shop floor architecture based on interoperable field components, International Journal of Computer Integrated Manufacturing, vol.14, issue.3, pp.246-262, 2001.
DOI : 10.1080/0951120010001957

S. Jiang and R. Kumar, Decentralized control of discrete event systems with specializations to local control and concurrent systems, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.30, issue.5, pp.653-660, 2000.
DOI : 10.1109/3477.875442

T. L. Johnson, Improving automation software dependability: A role for formal methods?, 11 th IFAC International Conference on Information Control Problems, pp.4-7, 2004.
DOI : 10.1016/j.conengprac.2006.07.005

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

H. Katayama and D. Bennet, Agility, adaptability and leanness : a comparison of concepts and a study of practice, International Journal of Production Economics, vol.60, issue.61, pp.43-51, 1997.

K. Kosanke, CIMOSA ??? Overview and status, Computers in Industry, vol.27, issue.2, pp.101-109, 1995.
DOI : 10.1016/0166-3615(95)00016-9

J. Ko?ecká, Supervisory control theory for autonomous mobile agents, Dissertation proposal presented to the Faculties of the University of Pennsylvania in Partial Fulfilment of the Requirements for the Degree of Doctor of Phylosophy, 1995.

R. Kumar, V. Garg, and S. L. Marcus, On controllability and normality of discrete event dynamical systems, Systems & Control Letters, vol.17, issue.3, pp.157-168, 1991.
DOI : 10.1016/0167-6911(91)90061-I

Y. H. Kwak and F. T. Anbari, Benefits, obstacles, and future of six sigma approach Technovation, pp.5-6, 2006.

K. Lano, J. Bicarregui, and P. Kan, Experiences of using formal methods for chemical process control specification, Control Engineering Practice, vol.8, issue.1, 2000.
DOI : 10.1016/S0967-0661(99)00138-0

J. Lazansky, O. Stepankova, V. Marik, and M. Pechoucek, Application of the multi-agent approach in production planning and modelling, Engineering Applications of Artificial Intelligence, vol.14, issue.3, pp.369-376, 2001.
DOI : 10.1016/S0952-1976(01)00006-9

T. Lecomte, Event Driven B: language, tool support and experiments, International Workshop on Refinement of Critical Systems : Methods, Tools and Experience, in conjunction with the 2nd Conference of B and Z Users, 2002.

R. J. Leduc, Hierarchical Interface-based Supervisory Control, 2002.

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

F. Lhote, P. Chazelet, and M. Dulmet, The extension of principles of cybernetics towards engineering and manufacturing, Annual Reviews in Control, vol.23, issue.1, pp.139-148, 1999.
DOI : 10.1016/S1367-5788(99)90075-5

F. Lin, Analysis and synthesis of discrete event systems using temporal logic, Control-theory and Advanced Technology, pp.341-350, 1993.

H. Marchand, P. Bournai, L. Borgne, M. , L. Guernic et al., Synthesis of discrete-event controllers based on the Signal environment. Discrete Event Dynamic Systems, Theory and Applications, vol.10, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

F. Mayer, Contribution au Génie Productique: Application à l'Ingénierie pédagogique en Atelier Inter-Etablissements de Productique Lorrain, Thèse de l'Université H. Poincaré-Nancy I, 1995.

D. Mcfarlane and S. Bussmann, Developments in holonic production planning and control, Production Planning & Control, vol.11, issue.6, pp.522-536, 2000.
DOI : 10.1080/095372800414089

D. Mcfarlane, J. Sarma, G. Chirn, J. Wong, and A. Ashton, Auto ID systems and intelligent manufacturing control, Engineering Applications of Artificial Intelligence, vol.16, issue.4, pp.365-376, 2003.
DOI : 10.1016/S0952-1976(03)00077-0

M. G. Mehrabi, A. G. Ulsoy, and Y. Koren, Reconfigurable manufacturing systems: Key to Future Manufacturing, Journal of Intelligent Manufacturing, vol.11, issue.4, pp.403-419, 2000.
DOI : 10.1023/A:1008930403506

E. Meyer, Développements formels par objets: utilisation conjointe de B et d'UML. Doctorat de l, 2001.

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

T. Moor, J. M. Daroven, and J. Raisch, Strategic refinements in abstraction based supervisory control of hybrid systems, 6 th International Workshop on Discrete Event Systems, pp.2-4, 2002.

G. Morel, Contribution à l'Automatisation et à l'ingénierie des Systèmes Intégrés de Production. Habilitation à diriger des recherches, 1992.

G. Morel, H. Panetto, M. Zaremba, and F. Mayer, Manufacturing Enterprise Control and Management System Engineering: paradigms and open issues, Annual Reviews in Control, vol.27, issue.2, pp.199-209, 2003.
DOI : 10.1016/j.arcontrol.2003.09.003

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

F. Munérato, Robotisation intégrée d'un îlot de production manufacturière: aspects contrôle/commande et communication, Thèse de, 1988.

E. Niel, L. Pietrac, and L. Regimbal, Advantages and drawbacks of the logic programm synthesis using supervisory control theory, 10 th IFAC/INCOM'01 Symposium, 2001.

S. Y. Nof, G. Morel, L. Monostori, A. Molina, and F. Filip, From plant and logistics control to multi-enterprise collaboration, IFAC Annual Reviews in Control, vol.301, pp.55-68, 2006.
DOI : 10.3182/20050703-6-cz-1902.01461

M. Nourelfath and E. Niel, Modular supervisory control of an experimental automated manufacturing system, Control Engineering Practice, vol.12, issue.2, pp.205-216, 2004.
DOI : 10.1016/S0967-0661(03)00056-X

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

A. Ollero, G. Morel, P. Bernus, S. Y. Nof, J. Sasiadek et al., Milestone report of the manufacturing and instrumentation coordinating committee: From MEMS to enterprise systems, Annual Reviews in Control, vol.26, issue.2, pp.151-162, 2002.
DOI : 10.1016/S1367-5788(02)00026-3

R. Pannequin, Proposition d'un environnement de modélisation et de test d'architectures de pilotage par le produit de systèmes de production, 2007.

H. Panetto, Meta-modèles et modèles pour l'intégration et l'interopérabilité des applications d'entreprises de production, Habilitation à Diriger des Recherches, 2006.

M. C. Paulk, How ISO 9001 compares with the CMM, IEEE Software, vol.12, issue.1, pp.74-83, 1995.
DOI : 10.1109/52.363163

M. Paynter, Analysis and design of engineering systems, M.I

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

P. Pettersson and K. G. Larsen, Bulletin of the European Association for, Theoretical Computer Science, vol.70, pp.40-44, 2000.

L. Piétrac, Apport de la méta-modélisation formelle pour la conception des systèmes automatisés de production, 1999.

P. Pujo, M. Pedetti, and N. Giambiasi, Formal DEVS modelling and simulation of a flow-shop relocation method without interrupting the production, Simulation Modelling Practice and Theory, pp.817-842, 2006.

R. Qiu, R. Wysk, and Q. Xu, Extended structured adaptive supervisory control model of shop floor controls for an e-Manufacturing system, International Journal of Production Research, vol.41, issue.8, pp.1605-1620, 2003.
DOI : 10.1080/1352816031000074964

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.

J. M. Roussel and J. M. Faure, Designing dependable logic controllers using algebraic specifications, Control Engineering Practice, vol.14, issue.10, pp.1143-1155, 2006.
DOI : 10.1016/j.conengprac.2006.02.002

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

A. Sanchez and S. Macchieto, Design of procedural controllers for chemical processes, Computers & Chemical Engineering, vol.19, pp.381-386, 1995.
DOI : 10.1016/0098-1354(95)87066-0

B. Selic, Using UML for modelling complex real-time systems, Lectures Notes in Computer Science, pp.250-262, 1474.

A. Sfalcin, Contribution d'une approche sémiotique à la réutilisation des composants de commande des Machines et Systèmes Automatisés de Production, 1992.

M. A. Shayman and R. Kumar, Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models, SIAM Journal on Control and Optimization, vol.33, issue.2, pp.469-497, 1995.
DOI : 10.1137/S0363012992239600

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.
DOI : 10.1002/1520-6858(2001)4:1<58::aid-sys6>3.0.co;2-z

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-616, 1992.
DOI : 10.1147/sj.313.0590

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

M. Staroswiecki and M. Bayart, Models and languages for the interoperability of smart instruments, Automatica, vol.32, issue.6, pp.859-873, 1996.
DOI : 10.1016/0005-1098(96)00016-7

O. Tahir, J. Cardoso, and C. Sibertin-blanc, Génération automatique de diagrammes étatstransitions à partir de diagrammes de séquences UML: une approche basée sur la sémantique des réseaux de Petri, Modélisation des Systèmes Réactifs (actes de MSR'03 Hermes Lavoisier, pp.6-8, 2003.

S. Taouil-traverson, Stratégie d'intégration de la méthode B dans la construction de logiciel critique, Thèse de l'Ecole National Supérieur des Télécommunications, référence ENST 97E017, 1997.

J. P. Thomesse, Fieldbuses and interoperability, Control Engineering Practice, vol.7, issue.1, pp.81-84, 1999.
DOI : 10.1016/S0967-0661(98)00140-3

URL : https://hal.archives-ouvertes.fr/inria-00098881

A. K. Toguyeni, E. Craye, and L. Sekhri, Study of the diagnosability of automated production systems based on functional graphs, Mathematics and Computers in Simulation, vol.70, issue.5-6, pp.5-6, 2006.
DOI : 10.1016/j.matcom.2005.11.007

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

H. Tsubone and M. Horikawa, A comparison between machine flexibility and routing flexibility, International Journal of Flexible Manufacturing Systems, vol.11, issue.1, pp.83-101, 1999.
DOI : 10.1023/A:1008096724273

A. Vahidi, M. Fabian, and B. Lennartson, Efficient supervisory synthesis of large systems, Control Engineering Practice, vol.14, issue.10, pp.1157-1167, 2006.
DOI : 10.1016/j.conengprac.2006.02.013

C. Vogel, Le Génie Cognitif. Collection Sciences Cognitives, 1988.

R. Vogrig, P. Baracos, P. Lhoste, G. Morel, and B. Salzemann, Flexible manufacturing shop, Manufacturing Systems, vol.16, issue.3, 1987.
URL : https://hal.archives-ouvertes.fr/hal-00137253

K. C. Wong and W. M. Wonham, Modular control and coordination of discrete-event systems. Discrete Event Dynamic Systems, Theory and Applications, vol.8, issue.3, 1998.

W. M. Wonham and P. J. Ramadge, On the supremal controllable sublanguage of a given language, SIAM J. Control and Optimization, vol.25, issue.3, 1987.

P. K. Wright and D. A. Bourne, Manufacturing intelligence, 1988.

Y. Xu, R. Brennan, X. Zhang, and H. Norrie, A Reconfigurable Concurrent Function Block Model and ist implementation in Real-Time Java, Journal of Integrated Computer-Aided Engineering, vol.9, pp.263-279, 2002.

T. Yoo and S. Lafortune, A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems, Theory and Applications, vol.12, 2002.

E. Zamaï, A. Chaillet-subias, and M. Combacau, An architecture for control and monitoring of discrete events systems, Computers in Industry, vol.36, issue.1-2, pp.95-100, 1998.
DOI : 10.1016/S0166-3615(97)00102-4

J. Zaytoon and V. Carre-menetrier, Synthesis of control implementation for discrete manufacturing systems, International Journal of Production Research, vol.39, issue.2, pp.329-345, 2001.
DOI : 10.1080/00207540010002388

J. Zaytoon, Extension de l'analyse fonctionnelle à l'étude de la sécurité opérationnelle des systèmes automatisés de production

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

&. -techniques and D. Standards, Directive machine 98/37/CE du 22 juin 1998 concernant le rapprochement des législations des états membres relatives aux machines, CE Journal Offciel des Communautés Européennes, vol.37, p.46, 1998.

B. De, R. De, . Verification, . De, ). Kamsu-foguem-2004 et al., 17 FIGURE 12 SPECIFICATION 18 FIGURE 13 21 FIGURE 14 23 FIGURE 15 25 FIGURE 16 26 FIGURE 17 30 FIGURE 19 32 FIGURE 20 PROPOSITION 37 FIGURE 21 38 FIGURE 22 CONSTRUCTION 39 FIGURE 23 42 FIGURE 26 ALLOCATION 49 FIGURE 33 51 FIGURE 34 60 FIGURE 39, 15 FIGURE 9. SYSTEM THEORY SELON (CASSANDRAS & LAFORTUNE 1999).. 71 FIGURE 49. EXTRAIT DE L'ANALYSE DES RESULTATS DE SIMULATION SUR LE PILOTE TRANE................................ 72 FIGURE 50. COMPOSITION PAR ASSEMBLAGE, pp.67-113, 1989.