Αποστολή με SMS: Formal Methods for Discrete-Time Dynamical Systems