H. R. Andersen, “Verification of Temporal Properties of Concurrent Systems”, DPB, vol. 22, no. 445, Jun. 1993.