Minimum and Maximum Delay Problems in Real-Time Systems (1992)

by C Courcoubetis, M Yannakakis
Venue:Formal Methods in System Design