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