F. Simonot, J. Lion, and . Elloy, An Architecture Description Language for In-Vehicle Embedded System Development, 15th Triennial World Congress of the International Federation of Automatic Control, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00107546

B. Gerd, B. Ed, H. Martijn, and M. Angelika, Production scheduling by reachability analysis -a case study, Parallel and Distributed Processing Symposium, International, pp.140-147, 2005.

S. Subbiah and S. Engell, Short-Term Scheduling of Multi-Product Batch Plants with Sequence-Dependent Changeovers Using Timed Automata Models, 20th European Symposium on Computer Aided Process Engineering, pp.1201-1206, 2010.
DOI : 10.1016/S1570-7946(10)28201-9

G. Marsal, B. Denis, J. Faure, and G. Frey, Evaluation of Response Time in Ethernet-based Automation Systems, Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'06, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00361045

P. Meunier, B. Denis, and J. Lesage, Temporal performance evaluation of control architecture in automation systems, Proceedings of 6th EUROSIM Congress on Modelling and Simulation, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00344998

S. Ruel, O. De, J. Smet, and . Faure, Finding the bounds of response time of networked automation systems by iterative proofs, Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing, pp.1365-1370, 2009.
DOI : 10.3182/20090603-3-RU-2001.0063

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

B. Addad, S. Amari, and J. Lesage, Analytic Calculus of Response Time in Networked Automation Systems, IEEE Transactions on Automation Science and Engineering, vol.7, issue.4, pp.858-869, 2010.
DOI : 10.1109/TASE.2010.2047499

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

G. Behrmann, J. Bengtsson, A. David, K. Larsen, P. Pettersson et al., UppaaL Implementation Secrets, Proc. of 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), 2002.
DOI : 10.1007/3-540-45739-9_1

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