Gerber, RichardKang, Dong-inHong, SeongsooSaksena, Manas(Also cross-referenced as UMIACS-TR-95-61)en-USEnd-to-End Design of Real-Time SystemsTechnical Report