@entry{bou-mim-12-aa,
  author = {O Bouissou and S Mimram...},
  title = {Hyson: Set-based simulation of hybrid systems},
  journal = {2012 23rd IEEE ...,},
  year = 2012,
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/6380694/?casa_token=kXuxdd4-2jcAAAAA:AgYSzhYs5INsjss9Es0AU6gVvI5mNnpZz2EmX6bu3fge-B6gempZsZotcHZyAqsK-R1Ym_VT}}},
  quotes = {... Of course as xk and xk+1 are sets encoded in affine arithmetic, we will compute a time interval [tl, tr] that contains all the possible zero-crossing instants for any approximate trajectory ...}
}