Henriksen, J. G.; Thiagarajan, P. S. A Product Version of Dynamic Linear Time Temporal Logic. BRICS 1997, 4.