Research on verifying of behavioral compatibility for software component composition
ZHANG Chi, CHU Chu
Computer Engineering and Applications . 2016, (11): 30 -33 .