Model−checking CSP - A. W. Roscoe (1994)