Concurrent And Real-Time Systems: The CSP Approach