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

L. 'her, D. Parc, P. L. Marcé, and L. , Proving sequential function chart programs using automata, WIA '98: Revised Papers from the Third International Workshop on Automata Implementation, pp.149-163, 1999.

H. Dierks, PLC-automata: a new class of implementable real-time automata, Theoretical Computer Science, vol.253, issue.1, pp.61-93, 2001.
DOI : 10.1016/S0304-3975(00)00089-X

N. Bauer, ¨ ubersetzung von steuerungsprogrammen in formale modelle, 1998.

I. Moon, Modeling programmable logic controllers for logic verification, IEEE Control Systems, vol.14, issue.2, pp.53-59, 1994.
DOI : 10.1109/37.272781

B. J. Krämer and N. Völker, A Highly Dependable Computing Architecture for Safety-Critical Control Applications, Real-Time Systems, vol.13, issue.3, pp.237-251, 1997.
DOI : 10.1007/978-1-4757-6463-5_2

F. Jiménez-fraustro and E. Rutten, A synchronous model of IEC 61131 PLC languages in SIGNAL, Proceedings 13th Euromicro Conference on Real-Time Systems, p.135, 2001.
DOI : 10.1109/EMRTS.2001.934016

A. Mader, A Classification of PLC Models and Applications, WODES 2000: 5th Workshop on Discrete Event Systems, pp.21-23, 2000.
DOI : 10.1007/978-1-4615-4493-7_24