A practical method for bounding the time between events in concurrent real-time systems (1993)

by J C Corbett, G S Avrunin
Venue:Proceedings of the 1993 International Symposium on Software Testing and Analysis (ISSTA