The timed failures−stability model for Timed CSP - Roscoe, A; Reed, G (Oxford University Computing Laboratory, 1996)