Synthesis Of Concurrent System Interface Modules With Automatic Protocol Conversion Generation | IEEE Conference Publication | IEEE Xplore