Formal Modeling in Systems Biology by Paolo Milazzo