C. Alexander, S. Ishikawa, and M. Silverstein, A pa@ern language: towns, buildings, construc;on, 1977.

S. Altemeier, M. Helmdach, A. Koberstein, and W. Dangelmaier, Reconfiguration of assembly lines under the influence of high product variety in the automotive industry???a decision support system, International Journal of Production Research, vol.6, issue.21, pp.6235-625610, 1080.
DOI : 10.1007/978-3-642-18947-0

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

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-23510, 1994.
DOI : 10.1016/0304-3975(94)90010-8

M. Amen, Heuris;c methods for cost-oriented assembly line balancing: A survey, Interna;onal Journal of Produc;on Economics, vol.68, issue.99, pp.1-14, 2000.
DOI : 10.1016/s0925-5273(99)00095-x

K. Araoui, G. Alpan, and Y. Frein, 2013. Minimisa;on des retards dans le séquencement des véhicules sur une ligne d'assemblage mul;modèle, Journal Européen des Systèmes Automa, vol.4747, pp.635-655

A. L. Arcus, A COMPUTER METHOD OF SEQUENCING OPERATIONS FOR ASSEMBLY LINES, International Journal of Production Research, vol.6, issue.4, pp.259-277, 1965.
DOI : 10.1287/mnsc.2.3.261

J. F. Bard, Assembly line balancing with parallel workstations and dead time, International Journal of Production Research, vol.8, issue.6, pp.1005-101810, 1080.
DOI : 10.1287/mnsc.30.1.85

O. Ba@aïa and A. Dolgui, A taxonomy of line balancing problems and their solu;onapproaches, Interna;onal Journal of Produc;on Economics, vol.142, 2013.

J. Bau-;-sta and J. Pereira, Ant algorithms for a ;me and space constrained assembly line balancing problem, European Journal of Opera;onal Research, vol.177, pp.2016-2032, 2007.

?. Baybars, A Survey of Exact Algorithms for the Simple Assembly Line Balancing Problem, Management Science, vol.32, issue.8, pp.909-932, 1986.
DOI : 10.1287/mnsc.32.8.909

C. Becker and A. Scholl, A survey on problems and methods in generalized assembly line balancing, European Journal of Operational Research, vol.168, issue.3, 2006.
DOI : 10.1016/j.ejor.2004.07.023

G. Behrmann, E. Brinksma, M. Hendriks, and A. Mader, Produc;on Scheduling by Reachability Analysis - A Case Study, Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE Interna Presented at the Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE Interna, pp.140-140, 2005.
DOI : 10.1109/ipdps.2005.363

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

G. Behrmann, A. David, and K. G. Larsen, A Tutorial on Uppaal Formal Methods for the Design of Real-Time Systems, Lecture Notes in Computer Science, pp.200-236, 2004.

R. Bellman, On the Theory of Dynamic Programming, Proceedings of the Na;onal Academy of Sciences of the United States of America, pp.716-719, 1952.

S. Belmokhtar, Lignes d'usinage avec équipements standard : modélisa;on, conGgura;on et op;misa;on, Ecole Na, 2006.

J. Billaut, A. Moukrim, and E. Sanlaville, Flexibilité et robustesse en ordonnancement Hermès Science publica;ons, 2005.

N. Boysen, M. Fliedner, and A. Scholl, Assembly line balancing: Which model to use when?, International Journal of Production Economics, vol.111, issue.2, 2008.
DOI : 10.1016/j.ijpe.2007.02.026

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

N. Boysen, M. Fliedner, and A. Scholl, A classiGca;on of assembly line balancing problems, European Journal of Opera;onal Research, vol.183, 2007.

Y. Bukchin and I. Rabinowitch, A branch-and-bound based solution approach for the mixed-model assembly line-balancing problem for minimizing stations and task duplication costs, European Journal of Operational Research, vol.174, issue.1, pp.492-508, 2006.
DOI : 10.1016/j.ejor.2005.01.055

J. Calvez, SpéciGca;on et concep;on des systèmes: une méthodologie, 1990.

L. Capacho, R. Pastor, A. Dolgui, and O. Guschinskaya, An evaluation of constructive heuristic methods for solving the alternative subgraphs assembly line balancing problem, Journal of Heuristics, vol.44, issue.2, pp.109-132, 2007.
DOI : 10.1287/mnsc.32.4.430

URL : https://hal.archives-ouvertes.fr/emse-00673020

C. Castel and C. Seguin, Modèles formels pour l'évalua;on de la sûreté de fonc;onnement des architectures logicielles d'avionique modulaire intégrée. Presented at the Approches formelles dans l, pp.83-97, 2001.

W. Chiang, The applica;on of a tabu search metaheuris;c to the assembly line balancing problem, Annals of Operations Research, vol.77, pp.209-227, 1998.
DOI : 10.1023/A:1018925411397

M. Chica, Ó. Cordón, S. Damas, and J. Bau-;-sta, A robustness information and visualization model for time and space assembly line balancing under uncertain demand, International Journal of Production Economics, vol.145, issue.2, pp.761-772, 2013.
DOI : 10.1016/j.ijpe.2013.05.030

P. Chu-;-ma and P. Chimklai, 2012. Mul;-objec;ve two-sided mixed-model assembly line balancing using par;cle swarm op;misa;on with nega;ve knowledge, Computers & Industrial Engineering, vol.62, pp.39-55

E. M. Clarke and E. A. Emerson, Design and synthesis of synchroniza;on skeletons using branching ;me temporal logic, Logics of Programs, pp.52-71, 1982.

A. Corominas, R. Pastor, and J. Plans, Balancing assembly line with skilled and unskilled workers. Omega, A Special Issue Dedicated to the, Beijing Olympic Games, vol.36, 2008.
DOI : 10.1016/j.omega.2006.03.003

URL : http://upcommons.upc.edu/bitstream/2117/6075/1/2008-OMEGA.pdf

J. Costanza, Just-In-Time manufacturing excellence John Costanza Ins;tute of Technology Inc, 1996.

B. Denis, Assistance a la concep;on et a l'évalua;on de l'architecture de conduite des systèmes de produc, 1994.

A. Dolgui, B. Finel, O. Guschinskaya, N. Guschinsky, G. Levin et al., Balancing large-scale machining lines with multi-spindle heads using decomposition, International Journal of Production Research, vol.114, issue.18-19, pp.4105-41201000207540600632232, 1080.
DOI : 10.1080/002075499191003

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

A. Dolgui, B. Finel, F. Vernadat, N. Guschinsky, and G. Levin, A heuristic approach for transfer lines balancing, Journal of Intelligent Manufacturing, vol.114, issue.3, pp.159-172, 2005.
DOI : 10.1007/s10845-004-5886-6

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

A. Dolgui, N. Guschinsky, G. Levin, and J. Proth, Optimisation of multi-position machines and transfer lines, European Journal of Operational Research, vol.185, issue.3, pp.1375-1389, 2008.
DOI : 10.1016/j.ejor.2006.03.069

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

A. Dolgui and J. Proth, Les systèmes de produc;on modernes. Hermès science publica, 2006.

S. E. Dreyfus and A. M. Law, Art and Theory of Dynamic Programming, 1977.

F. Easton, B. Faaland, T. D. Klastorn, and T. Schmi@, Improved network based algorithms for the assembly line balancing problem, International Journal of Production Research, vol.13, issue.11, 1901.
DOI : 10.1287/mnsc.30.1.85

H. El-haouzi, Approche méthodologique pour l'intégra;on des systèmes contrôlés par le produit dans un environnement de juste-à-temps: <br />Applica, 2008.

E. Erel and H. Gokcen, Shortest-route formulation of mixed-model assembly line balancing problem, European Journal of Operational Research, vol.116, issue.1, pp.194-204, 1999.
DOI : 10.1016/S0377-2217(98)00115-5

URL : http://repository.bilkent.edu.tr/bitstream/11693/10935/1/10.1016-S0377-2217%2898%2900115-5.pdf

E. Erel and S. C. Sarin, A survey of the assembly line balancing procedures, Production Planning & Control, vol.9, issue.5, pp.414-434, 1998.
DOI : 10.1080/095372898233902

B. Estellon, F. Gardi, and K. Nouioua, Two local search approaches for solving real-life car sequencing problems, European Journal of Operational Research, vol.191, issue.3, 2008.
DOI : 10.1016/j.ejor.2007.04.043

E. Falkenauer, Line balancing in the real world. Presented at the PLM'05 : interna;onal conference on product life cycle management, pp.360-370, 2005.

E. Falkenauer, The grouping gene;c algorithms-widening the scope of the GAs, Belgian Journal of Opera;ons Research, Sta;s;cs and Computer Science, vol.33, issue.2, 1992.

J. Frachet, Une introduc;on au génie automa;que: faisabilité d'une chaîne intégrée d'ou;ls CAO pour la concep;on et l'exploita;on des machines automa, 1987.

R. Gamberini, E. Gebennini, A. Grassi, and A. Regaåeri, A multiple single-pass heuristic algorithm solving the stochastic assembly line rebalancing problem, International Journal of Production Research, vol.4, issue.8, pp.2141-21641000207540802176046, 1080.
DOI : 10.1080/00207540500250606

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

R. Gamberini, A. Grassi, and B. Rimini, A new multi-objective heuristic algorithm for solving the stochastic assembly line re-balancing problem, International Journal of Production Economics, vol.102, issue.2, pp.226-243, 2006.
DOI : 10.1016/j.ijpe.2005.02.013

S. Ghosh and R. J. Gagnon, A comprehensive literature review and analysis of the design, balancing and scheduling of assembly systems, International Journal of Production Research, vol.18, issue.8, pp.637-670, 1989.
DOI : 10.1057/jors.1977.145

A. Giovannini, A knowledge representa;on framework for the design and the evalua;on of a product variety (phdthesis), 2015.

R. L. Graham, E. L. Lawler, J. K. Lenstra, and A. H. Kan, Op;miza;on and Approxima;on in Determinis;c Sequencing and Scheduling: a Survey Annals of Discrete Mathema;cs, Discrete Op;miza;on II Proceedings of the Advanced Research Ins;tute on Discrete Op;miza;on and Systems Applica;ons of the Systems Science Panel of NATO and of the Discrete Op;miza, on Symposium Co-Sponsored by IBM Canada and SIAM BanE, Aha. and Vancouver, pp.287-326, 1979.

N. Grangeon, P. Leclaire, and S. Norre, Heuristics for the re-balancing of a vehicle assembly line, International Journal of Production Research, vol.5, issue.3, pp.6609-6628, 2011.
DOI : 10.1287/mnsc.16.9.593

A. L. Gutjahr and G. L. Nemhauser, An Algorithm for the Line Balancing Problem, Management Science, vol.11, issue.2, 1964.
DOI : 10.1287/mnsc.11.2.308

L. Gzara, Les pa@erns pour l'ingenierie des systemes d'informa;on produit, 2000.

S. T. Hackman, M. J. Magazine, and T. S. Wee, Fast, eEec;ve algorithms for simple assembly line balancing problems. Opera;ons Research 37, pp.916-924, 1989.
DOI : 10.1287/opre.37.6.916

R. W. Hall, A@aining manufacturing excellence: just-in-;me, total quality, total people involvement, 1987.

M. Hammer, A. Knapp, and S. Merz, Truly On-the-Fly LTL Model Checking Tools and Algorithms for the Construc;on and Analysis of Systems, Lecture Notes in Computer Science, pp.191-205, 2005.

A. Heinrici, A Comparison between Simulated Annealing and Tabu Search with an Example from the Produc;on Planning, Opera;ons Research Proceedings 1993, Opera;ons Research Proceedings, pp.498-503, 1994.

M. Held and R. M. Karp, A Dynamic Programming Approach to Sequencing Problems, Journal of the Society for Industrial and Applied Mathematics, vol.10, issue.1, pp.196-210, 1962.
DOI : 10.1137/0110015

M. Held, R. M. Karp, and R. Shareshian, Assembly-Line Balancing-Dynamic Programming with Precedence Constraints. Opera, pp.442-459, 1963.
DOI : 10.1287/opre.11.3.442

W. B. Helgeson and D. P. Birnie, Assembly line balancing using the ranked posi;onal weight technique, Journal of Industrial Engineering, vol.12, pp.394-398, 1961.

W. B. Helgeson and D. P. Birnie, Assembly line balancing using the ranked posi;onal weight technique, Journal of Industrial Engineering, vol.12, pp.394-398, 1961.

T. R. Hoemann, Eureka: A Hybrid System for Assembly Line Balancing, Management Science, vol.38, pp.39-47, 1992.

J. R. Jackson, A Computing Procedure for a Line Balancing Problem, Management Science, vol.2, issue.3, pp.261-271, 1956.
DOI : 10.1287/mnsc.2.3.261

R. V. Johnson, Optimally Balancing Large Assembly Lines with ???Fable???, Management Science, vol.34, issue.2, pp.240-253, 1988.
DOI : 10.1287/mnsc.34.2.240

C. B. Kalayci and S. M. Gupta, A particle swarm optimization algorithm with neighborhood-based mutation for sequence-dependent disassembly line balancing problem, The International Journal of Advanced Manufacturing Technology, vol.56, issue.1, pp.197-209, 2013.
DOI : 10.1117/12.577196

D. Kim, J. Park, I. Moon, S. Umeda, M. Nakano et al., Integrated Mixed-Model Assembly Line Balancing with Unskilled Temporary Workers Advances in Produc;on Management Systems: Innova;ve Produc;on Management Towards Sustainable Growth, IFIP Advances in Informa;on and Communica;on Technology, pp.324-331, 2015.

Y. K. Kim, Y. J. Kim, and Y. Kim, Gene;c algorithms for assembly line balancing with various objec;ves, Computers & Industrial Engineering IE in Korea, vol.30, issue.96, pp.397-409, 1996.

R. Klein and A. Scholl, Maximizing the production rate in simple assembly line balancing ??? A branch and bound procedure, European Journal of Operational Research, vol.91, issue.2, pp.367-385, 1996.
DOI : 10.1016/0377-2217(95)00047-X

J. Ko, S. J. Hu, and T. Huang, Reusability Assessment for Manufacturing Systems, CIRP Annals - Manufacturing Technology, vol.54, issue.1, pp.113-116, 2005.
DOI : 10.1016/S0007-8506(07)60062-6

Y. Koren, U. Heisel, F. Jovane, T. Moriwaki, G. Pritschow et al., Reconfigurable Manufacturing Systems, CIRP Annals - Manufacturing Technology, vol.48, issue.2, pp.527-540, 1999.
DOI : 10.1016/S0007-8506(07)63232-6

J. F. Ko@as and H. Lau, A Cost-Oriented Approach to Stochas;c Line Balancing1. A I I E Transac, pp.164-171, 1973.

A. H. Land and A. G. Doig, An Automatic Method of Solving Discrete Programming Problems, Econometrica, vol.28, issue.3, pp.497-520, 1960.
DOI : 10.2307/1910129

S. D. Lapierre and A. B. Ruiz, Balancing assembly lines: an industrial case study, Journal of the Operational Research Society, vol.145, issue.6, pp.589-597, 2004.
DOI : 10.1016/S0377-2217(02)00204-7

S. D. Lapierre, A. Ruiz, and P. Soriano, Balancing assembly lines with tabu search, European Journal of Operational Research, vol.168, issue.3, 2006.
DOI : 10.1016/j.ejor.2004.07.031

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

E. L. Lawler and D. E. Wood, Branch-and-Bound Methods: A Survey, Operations Research, vol.14, issue.4, pp.699-719, 1966.
DOI : 10.1287/opre.14.4.699

T. Lema@re, 2013. Alloca;on de fonc;ons de commande de systèmes cri;ques par recherche d'a@eignabilité dans un réseau d'automates communicants

A. Lesert, G. Alpan, Y. Frein, and S. Noiré, Definition of spacing constraints for the car sequencing problem, International Journal of Production Research, vol.17, issue.4, pp.963-994, 2011.
DOI : 10.1287/mnsc.37.5.572

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

F. Makssoud, Apport de l'op;misa;on combinatoire pour la reconGgura;on des lignes de produc;on (phdthesis) Ecole Na, 2014.

F. Makssoud, O. Ba@aïa, and A. Dolgui, An exact optimization approach for a transfer line reconfiguration problem, The International Journal of Advanced Manufacturing Technology, vol.46, issue.21, pp.717-727, 2014.
DOI : 10.1080/00207540701261626

URL : https://hal.archives-ouvertes.fr/emse-00954483

F. Makssoud, O. Ba@aïa, and A. Dolgui, ReconGgura;on of Machining Transfer Lines Service Orienta;on in Holonic and Mul; Agent Manufacturing and Robo;cs, Studies in Computa;onal Intelligence, pp.339-353, 2013.

A. Manceaux, H. Haouzi, A. Thomas, and J. Pé-;-n, Dynamic Rebalancing of an Assembly Line with a Reachability Analysis of Communica Advances in Produc;on Management Systems. Innova;ve and Knowledge-Based Produc;on Management in a Global-Local World, IFIP Advances in Informa;on and Communica;on Technology, pp.597-604, 2014.

A. Manceaux, H. Haouzi, A. Thomas, J. Pé-;-n, and T. Munier, ReconGgura;on dynamique d'une ligne d'assemblage par recherche d'a@eignabilité sur un réseau d'automates communicants, in: 10ème Conférence Francophone de Modélisa;on, Op;misa;on et Simula, p.14, 2014.

P. Marangé, J. Pé-;-n, A. Manceaux, and D. Gouyon, Contribu;on à la reconGgura;on des systèmes de produc;on, Journal Européen des Systèmes Automa, vol.4545, pp.45-60, 2011.

P. R. Mcmullen and G. V. Frazier, A heuris;c for solving mixed-model line balancing problems with stochas;c task dura;ons and parallel sta;ons, Interna;onal Journal of Produc;on Economics, vol.5197, pp.177-190, 1997.

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

J. Meinadier, Le mé;er d'intégra, 2002.

C. Miralles, J. P. García-sabater, C. Andrés, and M. Cardós, Branch and bound procedures for solving the Assembly Line Worker Assignment and Balancing Problem: Application to Sheltered Work centres for Disabled, Discrete Applied Mathematics, vol.156, issue.3, pp.352-367, 2008.
DOI : 10.1016/j.dam.2005.12.012

C. L. Moodie, A Heuris;c Method of Assembly Line Balancing for Assump;ons of Constantor Variable Work Element Times (phdthesis), 1964.

B. Morand, Statut épistémologique des modèles dans la concep;on des systèmes d'informa;on. Ingénierie des systèmes d'informa, pp.665-700, 1995.

G. Morel, Contribu;on à l'automa;sa;on et à l'ingénierie des systèmes intégrés de produc;on. Habilita, 1992.

F. J. Nourie and E. R. Venta, Finding op;mal line balances with OptPack. Opera;ons Research Le@ers, pp.165-171, 1991.
DOI : 10.1016/0167-6377(91)90034-m

U. Özcan and B. Toklu, A tabu search algorithm for two-sided assembly line balancing, The International Journal of Advanced Manufacturing Technology, vol.17, issue.5???6, pp.822-829, 2008.
DOI : 10.1007/978-1-4615-6089-0

D. Peled, All from one, one for all: on model checking using representa;ves Computer Aided VeriGca;on, Lecture Notes in Computer Science, pp.409-423, 1993.

P. H. Penna, A. Subramanian, and L. S. Ochi, An Iterated Local Search heuristic for the Heterogeneous Fleet Vehicle Routing Problem, Journal of Heuristics, vol.106, issue.11, pp.201-232, 2011.
DOI : 10.1007/s10107-005-0611-6

H. Pierreval, C. Caux, J. L. Paris, and F. Viguier, Evolutionary approaches to the design and organization of manufacturing systems, Computers & Industrial Engineering, vol.44, issue.3, pp.339-364, 2003.
DOI : 10.1016/S0360-8352(02)00195-X

R. Rachamadugu and B. Talbot, Improving the equality of workload assignments in assembly lines, International Journal of Production Research, vol.10, issue.3, pp.619-633, 1991.
DOI : 10.1287/mnsc.32.4.430

N. S. Rashboogari and I. Kermanshah, Solving Assembly Line Balancing Problem in the State of Mul;ple- Alterna;ve Opera;ons Sequence using GRASP Meta-Heuris;c Method and Comparing with Gene;c Algorithm, Proceedings of the 2012 Interna;onal Conference on Industrial Engineering and Opera;ons Management, 2012.

B. Rekiek, A. Dolgui, A. Delchambre, and A. Bratcu, State of art of optimization methods for assembly line design, Annual Reviews in Control, vol.26, issue.2, pp.163-174, 2002.
DOI : 10.1016/S1367-5788(02)00027-5

B. Riera, D. Annebicque, B. Vigario, F. Gellot, and A. Philippot, Synthèse de commande sûre de fonc;onnement à base de contraintes logiques pour les systèmes manufacturiers, Proceedings of MOSIM'12, 2012.

D. Rieu, J. P. Giraudin, and C. Saint-marcel, Réu;lisa;on et patrons d'ingénierie, in: Génie Objet: Analyse et Concep, 1999.

H. Sakoe and S. Chiba, Dynamic programming algorithm optimization for spoken word recognition, IEEE Transactions on Acoustics, Speech, and Signal Processing, vol.26, issue.1, pp.43-49, 1978.
DOI : 10.1109/TASSP.1978.1163055

M. E. Salveson, The assembly line balancing problem, Journal of Industrial Engineering, vol.6, pp.18-25, 1955.

A. Scholl, Balancing and sequencing of assembly lines, 1999.
DOI : 10.1007/978-3-662-00861-4

A. Scholl and C. Becker, State-of-the-art exact and heuris;c solu;on procedures for simple assembly line balancing, European Journal of Opera;onal Research, vol.168, 2006.

A. Scholl, M. Fliedner, and N. Boysen, Absalom: Balancing assembly lines with assignment restric;ons, European Journal of Opera;onal Research, vol.200, 2010.
DOI : 10.1016/j.ejor.2009.01.049

URL : http://www.db-thueringen.de/servlets/DerivateServlet/Derivate-20979/2008-2.pdf

A. Scholl and R. Klein, Balancing assembly lines effectively ??? A computational comparison, European Journal of Operational Research, vol.114, issue.1, pp.50-58, 1999.
DOI : 10.1016/S0377-2217(98)00173-8

A. Scholl and R. Klein, SALOME: A Bidirectional Branch-and-Bound Procedure for Assembly Line Balancing, INFORMS Journal on Computing, vol.9, issue.4, p.319, 1997.
DOI : 10.1287/ijoc.9.4.319

A. Scholl and S. Voß, Simple assembly line balancing?Heuristic approaches, Journal of Heuristics, vol.32, issue.3, pp.217-244, 1997.
DOI : 10.1007/978-3-642-78910-6_64

L. Schrage and K. R. Baker, Dynamic Programming Solution of Sequencing Problems with Precedence Constraints, Operations Research, vol.26, issue.3, pp.444-449, 1978.
DOI : 10.1287/opre.26.3.444

T. Stützle, Applying iterated local search to the permuta;on Zow shop problem, 1998.

T. Stützle and H. H. Hoos, Analysing the Run-Time Behaviour of Iterated Local Search for the Travelling Salesman Problem, pp.589-611, 2002.
DOI : 10.1007/978-1-4615-1507-4_26

S. Subbiah and S. Engell, Short-Term Scheduling of Mul;-Product Batch Plants with Sequence- Dependent Changeovers Using Timed Automata Models, pp.1201-1206, 2010.

F. B. Talbot, J. H. Pa@erson, and W. V. Gehrlein, A Comparative Evaluation of Heuristic Line Balancing Techniques, Management Science, vol.32, issue.4, pp.430-454, 1986.
DOI : 10.1287/mnsc.32.4.430

A. Thomas, H. Haouzi, . El, T. Klein, S. Belmokhtar et al., Architecture de syst??mes contr??l??s par le produit pour un environnement de juste ?? temps, Journal Europ??en des Syst??mes Automatis??s, vol.43, issue.4-5, pp.513-535, 2009.
DOI : 10.3166/jesa.43.513-535

J. Vain, I. Randvee, T. Riismaa, and J. Ernits, Solving line balancing problems with model checking, Proceedings of the Estonian Academy of Sciences, Engineering 8, p.211, 2002.

A. Valmari, A stubborn attack on state explosion, Formal Methods in System Design, vol.31, issue.3, pp.297-322, 1992.
DOI : 10.1007/3-540-55179-4_32

A. Valmari, Stubborn sets for reduced state space genera;on Advances in Petri Nets, Lecture Notes in Computer Science, pp.491-515, 1989.

F. Verdanat, Enterprise modeling and integra;on: principles and applica;on, 1996.

E. Zavadlav, J. O. Mcclain, and L. J. Thomas, Self-Buffering, Self-Balancing, Self-Flushing Production Lines, Management Science, vol.42, issue.8, pp.1151-1164, 1996.
DOI : 10.1287/mnsc.42.8.1151