Jim Davies and Steve Schneider "A brief history of Timed CSP" Theoretical Computer Science, Volume 138, Issue 2, 20 February 1995, pp243-271
(1995)
Languages mentioned
Timed CSP
{1986} Extension of CSP to include timing constructs