Author: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy)