Jorge Real, Andy J. Wellings: The Ceiling Protocol in Multi-moded Real-Time Systems. Ada-Europe 1999: 275-286