Models: the fourth dimension of computer science