Scheduling in a hard real-time system with shared resources. - P. Martineau; Maryline Silly (RTS, 1994)