Підчас використання технології побудови аналітичних моделей поведінки відмовостійких програмно-апаратних систем у вигляді систем диференціальних рівнянь Колмогорова - Чепмена треба здійснити безпомилкове розроблення графа станів і переходів. Існує технологія побудови аналітичних моделей поведінки, в якій розроблення графа станів і переходів здійснюється на основі формалізованого представлення об'єкта дослідження у вигляді структурно-автоматної моделі. В статті представлено методику розроблення структурно-автоматних моделей, яка дозволяє автоматизувати цей процес.

Радіоелектронні і комп'ютерні системи [Текст] : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" // Радіоелектронні і комп'ютерні системи ; М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" - Х. : ХАІ. — Х. : ХАІ, 2016.

• УДК // Моделювання з використанням математичних моделей
• УДК // Штучний інтелект в промислових системах. Інтелектуальні САПР/АСКВ (система автоматизованого проектування/автоматизована система керування виробництвом). Інтелектуальні роботи