Interval Reachability Analysis - Meyer; Arcak, Murat; Devonport, Alex (Springer International Publishing, 2021)