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