Modelling is widely used in traditional engineering. Models also serve as the founda- tion of theoretical computer science—from computational models to formal languages. However, even though software designers use formal ...