Characterization of real-time computers - Shin, Kang G. (NASA contractor report, 1984)