synthesis of correct and distributed adaptors for component-based systems : an automatic approach
p inverardi , l mostarda , m tivoli , m autili
proceedings of the 20th ieee/acm international conference on & hellip ; ,