%0 Conference Proceedings %F ecrts01 %A Jiménez, F. %A Rutten, E. %T A synchronous model of {IEC} 61131 {PLC} languages in Signal %B Proceedings of the 13th Euromicro Conference on Real-Time Systems, ECRTS'01, {June 13th-15th, 2001, Delft, The Netherlands} %P 135-142 %D 2001