Imperial College Press Analysis and Synthesis of Computer Systems