A Brief History of Timed CSP - Davies, J; Schneider, S (Theoretical Computer Science, 1995)