Parametric Quantitative Temporal Reasoning

by E. Allen Emerson, Richard J. Trefler