TXE2 electronic exchange in service | IET Journals & Magazine | IEEE Xplore