Information flow for timed automata
Information Flow for Timed Automata
scientific article; zbMATH DE number 7172758