Action transducers and timed automata
scientific article; zbMATH DE number 951636
scientific article