Interval Reachability Analysis - Pierre-Jean Meyer, Alex Devonport, Murat Arcak (Springer, 2021)