A Framework for Composing Real-Time Schedulers