Formal Methods For Computational Systems Biology by M Bernardo