Modelling Computing Systems - Moller; Struth, Georg (Springer London, 2013)