Formal Methods For Computational Systems Biology by Marco Bernardo