A theory of testing for real time (1991)

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