Angelika Mader, Hanno Wupper. Timed automaton models for simple programmable logic controllers. In 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 9-11 June 1999, York, England, UK, Proceedings. pages 106-113, IEEE Computer Society, 1999. [doi]
Abstract is missing.