Timed CSP: a retrospective - Ouaknine, J; Schneider, S (Electronic Notes in Theoretical Computer Science, 2006)