Henriksen, Jesper, and P. Thiagarajan. “A Product Version of Dynamic Linear Time Temporal Logic”. BRICS Report Series 4, no. 9 (January 9, 1997). Accessed December 8, 2019. https://tidsskrift.dk/brics/article/view/18800.