Andersen, Henrik Reif. 1993. “Verification of Temporal Properties of Concurrent Systems”. DAIMI Report Series 22 (445). https://doi.org/10.7146/dpb.v22i445.6762.