Zaslat SMS: Extending CSP with tests for availability