A high-availability clustering architecture with data integrity guarantees | IEEE Conference Publication | IEEE Xplore