Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems. - Robert I. Davis 001; A. Zabos; Alan Burns 001 (IEEE Trans. Computers, 2008)