Text this: Formal methods for discrete-time dynamical systems /