Faron Moller; Georg Struth (2013). Modelling Computing Systems. Springer Science+Business Media.