Generalized discrete timed automata: Decidable approximations for safety verification.
\(\langle B,r\rangle\)-crossing-bounded approximation
scientific article; zbMATH DE number 1965289