Отправить по sms: Developing and verifying protocols in CSP