Zaslať SMS: Logičeskaja teorija nadežnosti složnych sistem