Robert I. Davis: On exploiting spare capacity in hard real-time systems. University of York, UK 1995