Timed automata relaxation for reachability
scientific article; zbMATH DE number 7378309
scientific article