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