Joël Ouaknine , James Worrell, Timed CSP = closed timed ε-automata, Nordic Journal of Computing, v.10 n.2, p.99-133, Summer 2003
(2003)
Languages mentioned
Timed CSP
{1986} Extension of CSP to include timing constructs