Performance models of multiprocessor systems - Balbo, G.; Conte, G.; Marsan, M. A.