@entry{bid-gou-put-22-aa-reach,
  author = {F Bidet and {\'E} Goubault and S Putot},
  title = {Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark},
  journal = {},
  volume = {},
  number = {},
  pages = {},
  year = 2022,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/Publications/fvps18.pdf}}},
  quotes = {... First, the Taylor models are not built and evaluated in affine arithmetic like in our approach. Moreover, the physical time of the system is not directly accessible to evaluate transitions\uc{2019} ...}
}