Formal Methods for Computational Systems Biology [electronic resource] : 8th