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

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