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