Lei Wang, Padmanabhan Krishnan. A Framework for Checking Behavioral Compatibility for Component Selection. In 17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia. pages 49-60, IEEE Computer Society, 2006. [doi]
Abstract is missing.