A timed model for communicating sequential processes - Roscoe, A; Reed, G (1988)