Consistent Disaster Recovery for Microservices: the BAC Theorem | IEEE Journals & Magazine | IEEE Xplore