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

J. Roussel and B. Denis, Safety Properties Verification of Ladder Diagram Programs, Journal Européen des systèmes automatisés, vol.36, issue.7, pp.905-917, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00356881

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), 2000.
DOI : 10.1109/ICSMC.2000.884356

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.7773

H. Dierks and . Automata, A New Class of Implementable Real? Time Automata, " in Transformation-Based Reactive Systems Development (ARTS'97), ser. Lecture Notes in Computer Science, pp.111-125, 1997.

R. Huuck, Transformation of Timed Condition/Event Systems into Timed Automata: An Approach to Automatic Verification, 1998.

B. L. Germany, . Tech, and . Rep, Chair of Software Technology [11] Moby/PLC tool homepage, 1999.

A. Mader, H. Wupper, and N. Bauer, Design of a PLC Program for VHS Case Study 1, Tech. Rep, 1999.

K. Kristoffersen, K. Larsen, P. Pettersson, and C. Weise, Experimental Batch Plant CS1 using Timed Automata and UPPAAL, BRICS, 1999.