Real-time scheduling for media processing using conditionally guaranteed budgets by R.J. Bril