Extending CSP with tests for availability - Lowe, G (2009)