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