Modelling Computing Systems