M. Lindahl, P. Pettersson, and W. Yi, Formal design and analysis of a gear controller, Proc. of the 4 th International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, pp.281-297, 1998.
DOI : 10.1007/BFb0054178

V. Vyatkin and H. Hanisch, Practice of modeling and verification of distributed controllers using signal net systems, Proc. of International Workshop on Concurrency, Specification and Programming (CS&P), 2000.

B. Rohée, B. Riera, V. Carré-ménétrier, and J. Roussel, A METHODOLOGY TO DESIGN AND CHECK A PLANT MODEL, Proc. of the 3 rd IFAC Workshop on Discrete-Event System Design (DESDes'06), pp.246-250, 2006.
DOI : 10.3182/20060926-3-PL-4904.00041

M. Perin and J. Faure, Building Meaningful Timed Plant Models for Verification Purposes, Proc. of the 13 th IFAC Symposium on information control problems in manufacturing, INCOM'09, pp.970-975, 2009.
DOI : 10.3182/20090603-3-RU-2001.0420

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

A. Janowska and P. Janowski, Slicing of timed automata with discrete data, Fundamenta Informaticae, vol.72, issue.1-3, pp.181-195, 2006.

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

R. Van-glabbeek, The linear time-branching time spectrum i -the semantics of concrete, sequential processes, Handbook of Process Algebra, pp.3-99, 2001.

G. Behrmann, R. David, and K. Larsen, A Tutorial on Uppaal, LNCS, Formal Methods for the Design of Real-Time Systems, vol.3185, pp.200-236, 2004.
DOI : 10.1007/978-3-540-30080-9_7