J. G. Henriksen and P. S. Thiagarajan, “A Product Version of Dynamic Linear Time Temporal Logic”, BRICS, vol. 4, no. 9, Jan. 1997.