Quantified abstract configurations of distributed systems | Publicación