@article{zheng:tcad09,
 author = {H. Yao and H. Zheng},
 title = {Automated Interface Refinement for Compositional Verification},
 Journal = {IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems},
 volume = 27,
 number = 3, 
 page = {433--446},
 year = 2009,
}