Performance validation of fault-tolerance software: a compositional approach | Publicación