Formal Verification of Communicating HSTM Designs | IEEE Conference Publication | IEEE Xplore