Timed-automata abstraction of switched dynamical systems using control invariants
scientific article; zbMATH DE number 6840355