Formal Methods for Dynamical Systems - Bernardo, Marco; Vink, Erik de; Pierro, Alessandra Di; Wiklicky, Herbert (Springer Berlin Heidelberg, 2013)