(1)
Henriksen, J.; Thiagarajan, P. A Product Version of Dynamic Linear Time Temporal Logic. BRICS 1997, 4.