On exploiting spare capacity in hard real-time systems.

Remove this page before binding. (The page number was placed before realizing that this was to be the title page.) Also, don’t forget to move the Contents and Figure