PLC-automata: A new class of implementable real-time automata
scientific article; zbMATH DE number 1542354