A theory of testing for real time (1991)

by R Cleaveland, A Zwarico
Venue:In Sixth Annual Symposium on Logic in Computer Science (LICS '91