A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems.

James C. Corbett, George S. Avrunin

Browse the full ISSTA paper archive.