On the verification and validation of protocols with high fault coverage using UIO sequences | IEEE Conference Publication | IEEE Xplore