Safety Analysis of Timing Properties in Real-Time Systems (1986)

by F Jahanian, A Mok
Venue:IEEE Transactions in Software Engineering