Logical analysis of hybrid systems: A complete answer to a complexity challenge

@article{DBLP:journals/jalc/Platzer12,
	pdf = {pub/dcfs12-long.pdf},
	author = {['André Platzer']},
	title = {Logical Analysis of Hybrid Systems:
               A Complete Answer to a Complexity Challenge},
	journal = {Journal of Automata, Languages and
               Combinatorics},
	volume = {17},
	number = {2-4},
	year = {2012},
	pages = {265-275}
}