An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification | IEEE Conference Publication | IEEE Xplore