Compiling Real-Time Programs into Schedulable Code.

Seongsoo Hong, Richard Gerber

Browse the full PLDI paper archive.