Formal Modelling is often used as…