Analyzing Partially-Implemented Real-Time Systems.

George S. Avrunin, James C. Corbett, Laura K. Dillon

Browse the full ICSE paper archive.