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