Title: The modelling of computer systems