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