Safety analysis of timing properties in real-time systems (1986)

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