@ARTICLE{tcs2007,
  AUTHOR = {Eugene Asarin and Gordon Pace and Gerardo Schneider and Sergio Yovine},
  TITLE = {{Algorithmic Analysis of Polygonal Hybrid Systems. Part II: Phase Portrait and Tools}},
  JOURNAL = {Theoretical Computer Science},
  YEAR = {2007},
}