Computational and Formal Modelling