Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?”10.1145/225058.225162__Proceedings of the 27th Annual ACM Symposium on Theory of Computing, ACM, 1995, pp. 373–82, doi:10.1145/225058.225162.