VERIFYING CONCURRENT PROCESSES USING TEMPORAL LOGIC - HAILPERN,BRENT T (SV BERLIN, 1982)