Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them.

B. Dasarathy Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them. 80-86 1985 11 IEEE Trans. Software Eng. 1 db/journals/tse/tse11.html#Dasarathy85