Supporting Timed CSP Operators in CSP++. - William B. Gardner; Yuriy Solovyov (CPA, 2012)