Time-triggered conversion of guards for reachability analysis of hybrid automata
scientific article; zbMATH DE number 6814294