Describir: Logičeskaja teorija nadežnosti složnych sistem