Syntactic transformation of assume-guarantee assertions: from sub-modules to modules | IEEE Conference Publication | IEEE Xplore