Formal Methods for Dynamical Systems - Bernardo (Springer Berlin Heidelberg, 2013)