A High-Availability Clustering Architecture with Data Integrity Guarantees. - Richard Rabbat; Tom McNeal; Tim Burke (CLUSTER, 2001)