Timed CSP: theory and practice - Roscoe, A; J.Davies; D.Jackson; G.M.Reed; J.Reed; Schneider, S (LNCS, 1992)