Design, Verification, and Application of IEEE 1687 | IEEE Conference Publication | IEEE Xplore