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. Barbuti and L. Tesei, Timed automata with urgent transitions, Acta Informatica, vol.40, issue.5, pp.317-347, 2004.
DOI : 10.1007/s00236-003-0135-6

G. Frey and L. Litz, Formal methods in PLC programming, SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166), pp.2431-2436, 2000.
DOI : 10.1109/ICSMC.2000.884356

K. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010

J. Machado, B. Denis, J. Lesage, J. Faure, J. Ferreira-da et al., LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL, Proc. of 3rd IFAC Workshop on Discrete-Event System Design (DESDes), pp.37-42, 2006.
DOI : 10.3182/20060926-3-PL-4904.00007
URL : https://hal.archives-ouvertes.fr/hal-00361815

A. Mader and H. Wupper, Timed automaton models for simple programmable logic controllers, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99, pp.114-122, 1999.
DOI : 10.1109/EMRTS.1999.777456

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.