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