Assumption–Commitment Support for CSP Model Checking - Moffat, N; Goldsmith, M (2008)