Thiagarajan, P. S.; Henriksen, J. G. Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. BRICS 1998, 5.