Formal Methods For Computational Systems Biology door Marco Bernardo