The Formal Model of Real-Time Service Components Composition Based on DCValid | IEEE Conference Publication | IEEE Xplore