この資料をSMS送信: Синтез тестов с гарантированной полнотой для временных автоматов