Computational Methods in Systems Biology - Luca Bortolussi, Guido Sanguinetti (Springer, 2019)