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
Proving sequential function chart programs using automata, WIA '98: Revised Papers from the Third International Workshop on Automata Implementation, pp.149-163, 1999. ,
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
¨ ubersetzung von steuerungsprogrammen in formale modelle, 1998. ,
Modeling programmable logic controllers for logic verification, IEEE Control Systems, vol.14, issue.2, pp.53-59, 1994. ,
DOI : 10.1109/37.272781
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
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 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