Compiling real-time programs with timing constraint refinement and structural code motion (1995)

by R Gerber, S Hong
Venue:IEEE Transactions on Software Engineering