Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 - Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro ((Lecture Notes in Computer Science))