A temporal logic for Timed CSP - Jackson, D; Davies, J; Reed, G; Schneider, S (Esprit SPEC project, 1990)