Systems Biology Modelling and Analysis - Formal Bioinformatics Methods and Tools - Elisabetta De Maria (Wiley, 2022)