Pham, Ngoc Hung and toshiaki, aoki and takuya, katayama  (2009) Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.  IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer, E92-A  (11).   pp. 2772-2780.  ISSN 0916-8508