Systems Biology Modelling and Analysis - Formal Bioinformatics Methods and ToolsElisabetta De Maria₹14,683