Weimin Ma Lawrence Chung Kendra Cooper Verifying Behavioral Component Interoperability Using Positive/Negative Model Checking. 588-594 2007 conf/serp/2007-2 Software Engineering Research and Practice db/conf/serp/serp2007-2.html#MaCC07