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

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