Checking a non-byzantine FT scheme against Byzantine faults | IEEE Conference Publication | IEEE Xplore