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