Винарский Е.М., Захаров В.А. О некоторых свойствах временных машин с конечным числом состояний // № 17, 2020
Гнатенко А.Р., Захаров В.А. Применение одного расширения CTL* для спецификации и верификации последовательных реагирующих систем // № 17, 2020
