An Extended cCSP with Stable Failures Semantics | Publicación