Concurrent and real-time systems : the CSP approach - Schneider, S. A. (Worldwide series in computer science, 2000)