Invia SMS: Modelle für die Selbstdiagnose fehlertoleranter Systeme /