1. Recursive unsolvability of Postʼs problem of tag and other topics in theory of Turing machines;Minsky;Ann. of Math.,1961
2. O. Bournez, Complexité algorithmique des systèmes dynamiques continus et hybrides, PhD thesis, ENS de Lyon, 1999.
3. The theory of hybrid automata;Henzinger,1996
4. Widening the boundary between decidable and undecidable hybrid systems;Asarin,2002