@Proceedings{sfm13,
  title     = {Formal Methods for Dynamical Systems},
  year      = 2013,
  editor    = {M. Bernardo and E.P. de Vink and A. Di Pierro and H. Wiklicky},
  publisher = {LNCS 7938},
  note      = {Advanced lectures of the 13th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2013), Bertinoro, Italy, June 2013}
}