@INPROCEEDINGS{pace:2006,
  AUTHOR = {Gordon Pace and Gerardo Schneider},
  TITLE = {Static Analysis for State-Space Reduction of Polygonal Hybrid Systems},
  BOOKTITLE = {Formal Modelling and Analysis of Timed Systems (FORMATS'06)},
  YEAR = {2006},
  SERIES = {LNCS (to appear)},
  ADDRESS = {Paris, France},
  PUBLISHER = {Springer-Verlag}
}