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