Pham, Ngoc Hung and Nguyen, Viet Ha and Toshiaki, Aoki and Takuya, Katayama  (2010) A Minimized Assumption Generation Method for Component-Based Software Verification.  IEICE Transactions on Information and Systems, E93-D  (8).   pp. 2172-2181.  ISSN 0916-8532