Fernando Jiménez-Fraustro, Éric Rutten. A Synchronous Model of IEC 61131 PLC Languages in SIGNAL. In 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings. pages 135-142, IEEE Computer Society, 2001. [doi]
Abstract is missing.