Verfügbarkeit und mittlere Betriebsdauer redundanter Systeme bei zufälliger Wartung der Untersysteme.