On Checking Parallel Real-Time Systems for Linear Duration Invariants. - D. Hung; P. Thai (PDSE, 1998)