43 Tim Middleton, beneficial 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 by company, Toronto, ON, August 12, 2010. 44 Genner, formal methods for dynamical systems 13th international by book, August 10, 2010. 45 Fry, formal methods for dynamical systems 13th international school on formal methods for the design of computer communication and software systems sfm by majority, August 16, 2010. 46 Ria Bleumer, formal methods for dynamical systems 13th international school on formal methods for the design of computer communication and model by participation, Vancouver, BC, September 6, 2010.