Касьянов В.Н., Касьянова Е.В. Методы и технологии конструирования эффективных и надежных программ и программных систем на основе графовых моделей и семантических преобразований // № 19, 2021
Старолетов С.М. Проектирование и реализация программного обеспечения для подготовки воды с использованием автоматного подхода и анализа спецификаций // № 10, 2017
