Text this: Синтез тестов с гарантированной полнотой для временных автоматов; Известия Томского политехнического университета [Известия ТПУ]; Т. 316, № 5: Управление, вычислительная техника и информатика