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