Zuverlässigkeitsanalyse von verteilten, fehlertoleranten Echtzeitsystemen.