@INPROCEEDINGS{ictac2006,
  AUTHOR = {Gordon Pace and Gerardo Schneider},
  TITLE = {Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems},
  BOOKTITLE = {3rd International Colloquium on Theoretical Aspects of Computing (ICTAC'06)},
  YEAR = {2006},
  SERIES = {LNCS (to appear)},
  ADDRESS = {Tunis, Tunisia},
  PUBLISHER = {Springer-Verlag}
}