SETH: a quorum-based database system for experimentation with failures | IEEE Conference Publication | IEEE Xplore