Return to Issue Details Method for constructing GL-models of complex non-basic fault-tolerant multiprocessor systems Download Download PDF