Factorizing Proofs in Timed CSP - Davies, J; Schneider, S (1989)