Title: Performance modelling of multiprocessors with priorities