Analysis and Synthesis of Computer Systems - Gelenbe,, Erol (Imperial college press, 2010)