P. S. Thiagarajan and J. G. Henriksen, “Distributed Versions of Linear Time Temporal Logic: A Trace Perspective”, BRICS, vol. 5, no. 8, Jan. 1998.