CSP
Augmentation of
Timed CSP (6808)
Extension of CSP to include timing constructs