Faron Moller; Georg Struth, “Modelling Computing Systems,” Springer Science+Business Media, 2013.