«Послідовно-паралельна композиція графо-логічних моделей відмовостійких багатопроцесорних систем», ICT, вип. 3, вип. 2 (4), с. 1069–1082, Жов 2026, doi: 10.15276/ict.03.2026.83.