Guaranteing Coherent Software Systems when Composing Coordinated Components | Publicación