Formal methods for discrete-time dynamical systems - Belta, Calin (Studies in Systems, Decision and Control ;, 2017)