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, pp.694-715, 2006.
DOI : 10.1016/j.ejor.2004.07.023

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

N. Boysen, M. Fliedner, and A. Scholl, A classification of assembly line balancing problems, European Journal of Operational Research, vol.183, issue.2, pp.674-693, 2007.
DOI : 10.1016/j.ejor.2006.10.010

O. Battaïa and A. Dolgui, A taxonomy of line balancing problems and their solutionapproaches, International Journal of Production Economics, vol.142, issue.2, pp.259-277, 2013.
DOI : 10.1016/j.ijpe.2012.10.020

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

A. Scholl, Balancing and sequencing of assembly lines (Publications of Darmstadt Technical University, Institute for Business Studies (BWL)), Institute for Business Studies, 1999.

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, 2011.
DOI : 10.1287/mnsc.16.9.593

F. Makssoud, O. Battaïa, and A. Dolgui, Reconfiguration of Machining Transfer Lines, Service Orientation in Holonic and Multi Agent Manufacturing and Robotics, Studies in Computational Intelligence, pp.339-353, 2013.
DOI : 10.1007/978-3-642-35852-4_22
URL : https://hal.archives-ouvertes.fr/emse-00794556

B. Estellon, F. Gardi, and K. Nouioua, Two local search approaches for solving reallife car sequencing problems, European Journal of Operational Research, vol.191, 2008.

G. Behrmann, E. Brinksma, M. Hendriks, and A. Mader, Production scheduling by reachability analysis-a case study, Parallel and Distributed Processing Symposium , 2005. Proceedings. 19th IEEE International, pp.140-140, 2005.

S. Subbiah and S. Engell, Short-Term Scheduling of Multi-Product Batch Plants with Sequence-Dependent Changeovers Using Timed Automata Models, 2010.
DOI : 10.1016/S1570-7946(10)28201-9

E. M. Clarke-andclarke and E. A. Emerson, Design and synthesis of synchronization skeletons using branching time temporal logic, Logics of Programs, pp.52-71, 1982.

T. Lemattre, G. Behrmann, E. Brinksma, M. Hendriks, and A. Mader, Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants École normale supérieure de Cachan -ENS Cachan Production Scheduling by Reachability Analysis -A Case Study, Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE International. Presented at the Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE International, pp.140-140, 2005.

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