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