Richard Gerber, Seongsoo Hong: Semantics-based compiler transformations for enhanced schedulability. RTSS 1993: 232-242