What's decidable about hybrid automata?
scientific article; zbMATH DE number 1236452