Performance Models of Microprocessor Systems (Computer Systems Series)