Insik Shin, Insup Lee: Compositional Real-Time Schedulability Analysis. Handbook of Real-Time and Embedded Systems 2007