Thiagarajan, P.S. and Henriksen, J.G. 1998. Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. BRICS Report Series. 5, 8 (Jan. 1998). DOI:https://doi.org/10.7146/brics.v5i8.19280.