Formal Modeling in Systems Biology door Paolo Milazzo