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