Andersen, H. R. “Verification of Temporal Properties of Concurrent Systems”. DAIMI Report Series, vol. 22, no. 445, June 1993, doi:10.7146/dpb.v22i445.6762.