International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13 : 2013 : Bertinoro)