Отправить по sms: Guaranteed Verification of Dynamic Systems