Henriksen, J.G. and Thiagarajan, P.S. 1997. A Product Version of Dynamic Linear Time Temporal Logic. BRICS Report Series. 4, 9 (Jan. 1997). DOI:https://doi.org/10.7146/brics.v4i9.18800.