@book{meyer2021springer,
  title={Interval Reachability Analysis: Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification},
  author={Meyer, Pierre-Jean and Devonport, Alex and Arcak, Murat},
  year={2021},
  publisher={Springer}
}