TCB subsets: the next step | IEEE Conference Publication | IEEE Xplore