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