Embedded Borden 2-UED code checkers | IEEE Conference Publication | IEEE Xplore