Interval Reachability Analysis - Meyer (Springer International Publishing, 2021)