Concurrent and realtime systems: the CSP approach - Schneider, Steve (John Wiley, 2000)