Reachability analysis for timed automata using max-plus algebra
scientific article; zbMATH DE number 6065757
scientific article