Andersen, H. R. Verification of Temporal Properties of Concurrent Systems. DPB 1993, 22.