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