Отправить по sms: Assumption−Commitment Support for CSP Model Checking