Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs.

Rami R. Razouk Michael M. Gorlick Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs. 10-19 1989 Symposium on Testing, Analysis, and Verification http://doi.acm.org/10.1145/75308.75311 db/conf/issta/tav89.html#RazoukG89