Applying new scheduling theory to static priority pre-emptive scheduling. - Neil C. Audsley; Alan Burns 001; Mike M. Richardson; Ken Tindell; Andy J. Wellings (Softw. Eng. J., 1993)