Martijn M. H. P. van den Heuvel, Reinder J. Bril, Johan J. Lukkien: Dependable Resource Sharing for Compositional Real-Time Systems. RTCSA (1) 2011: 153-163