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