Formal Methods For Dynamical Systems: 13Th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, Sfm 2013, Bertinoro, Italy, June 17 22, 2013. Advanced Lectures 2013