A Brief History of Timed CSP (Theoretical Computer Science, 1995)

(untitled) - Davies, J; Schneider, S