On Satisfying Timing Constraints in Hard-Real-Time Systems.

Jia Xu David Lorge Parnas On Satisfying Timing Constraints in Hard-Real-Time Systems. 70-84 http://www.computer.org/tse/ts1993/e0070abs.htm 1993 19 IEEE Trans. Software Eng. 1 db/journals/tse/tse19.html#XuP93