Formal Methods for Discrete-Time Dynamical Systems - Belta, Calin( (Springer International Publishing, 2017)