Методы анализа и синтеза систем обеспечения достоверности в автоматизированных информационно-управляющих системах с использованием модифицированных сетей ПетриШвецов, Александр Ростиславович199224 с.