"Safety automata" - A new specification language for the development of PLC safety applications.

Georg Frey, Rainer Drath, Bastian Schlich, Robert Eschbach

Browse the full ETFA paper archive.