On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software | IEEE Conference Publication | IEEE Xplore