@TechReport{Makhlouf16,
  author      = {Ibtissem Ben Makhlouf},
  title       = {Comparative Evaluation and Improvement of Computational Approaches to Reachability Analysis of Linear Hybrid Systems },
  institution = {RWTH Aachen University},
  keywords    = {Hybrid Systems, Reachability, Verification, Platooning},
  year        = {2016},
  number      = {AIB-2016-02},
  issn        = {0935-3232},
  isbn        = {978-3-8440-4376-1},
  publisher   = {Shaker},
  month       = {March},
  url         = {http://aib.informatik.rwth-aachen.de/2016/2016-02.ps.gz}
}