Calin Belta: Formal Methods for Dynamical Systems. TIME 2014: 3