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
Practice of modeling and verification of distributed controllers using signal net systems, Proc. of International Workshop on Concurrency, Specification and Programming (CS&P), 2000. ,
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
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
Slicing of timed automata with discrete data, Fundamenta Informaticae, vol.72, issue.1-3, pp.181-195, 2006. ,
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
The linear time-branching time spectrum i -the semantics of concrete, sequential processes, Handbook of Process Algebra, pp.3-99, 2001. ,
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