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

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