Stationäre Verfügbarkeit und Unempfindlichkeit der Zustandswahrscheinlichkeiten - Formeln für die Zuverlässigkeitstheorie.