DI Katcher, H Arakawa… - IEEE transactions on …, 1993 - ieeexplore.ieee.org
Scheduling theory holds great promise as a means to a priori validate timing correctness of
real-time applications. However, there currently exists a wide gap between scheduling …