Text this: Синтез тестов с гарантированной полнотой для временных автоматов