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

@ARTICLE{DBLP:journals/jalc/Platzer12,
	pdf = {pub/dcfs12-long.pdf},

  author    = {Andr{\'e} 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},
}```