@article{Frehse08,
  author    = {G. Frehse},
  title     = {{PHAV}er: {A}lgorithmic {V}erification of {H}ybrid {S}ystems {P}ast {H}y{T}ech},
  journal   = {International Journal on Software Tools for Technology Transfer ({STTT})},
  volume    = {10}, 
  number    = {3},
  month      = jun,
  year      = {2008},
  note      = {A preliminary version appread in {M}anfred {M}orari and {L}othar {T}hiele, editors, Hybrid Systems: Computation and Control ({HSCC}'05), volume 3414 of Lecture Notes in Computer Science, pages 258-273, Springer-Verlag, 2005}
}