Formal Methods for Discrete-Time Dynamical Systems - Belta, Calin(; Aydin Gol, Ebru; Yordanov, Boyan (Springer International Publishing, 2017)