A compositional synthesis of failure-free connectors for correct components assembly