A Specification and Verification Method on Component Composition of Real-Time Reactive Systems | IEEE Conference Publication | IEEE Xplore