The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General P