Composition method of communication system specifications in asynchronous model and its support system | IEEE Conference Publication | IEEE Xplore