Our paper “A Formal Framework for Predicting Distributed System Performance under Faults” was accepted at FM 2026.