Systems biology modelling and analysis : formal bioinformatics methods and tools /: formal bioinformatics methods and tools. (2022)