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