Performance models of multiprocessor systems - M. Ajmone Marson, G. Balto and Conte (The MIT Press)