HENRIKSEN, J.; THIAGARAJAN, P. A Product Version of Dynamic Linear Time Temporal Logic. BRICS Report Series, v. 4, n. 9, 9 Jan. 1997.