Automatic failures-free connector synthesis: An example