Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools