An improved failures model for communicating processes - Roscoe, A; Brookes, S (Springer, 1985)