Systems Correctness Practices at Amazon Web Services. - Brooker, Marc; Desai, Ankush (Communications of the ACM, 2025)