Timed automaton models for simple programmable logic controllers.

Angelika Mader, Hanno Wupper

Browse the full ECRTS paper archive.