SYANCO: Synthesis and Analysis of Component Connectors