LNCS -- Procs 8th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Computational Systems Biology