Pierre-Jean Meyer, Alex Devonport, Murat Arcak Interval Reachability Analysis - Springer Springer 2021 ISBN: 9783030651107 Source: EBOOK