Stability of Hořava–Witten spacetimes