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