Architecting safe eventually consistent systems - Braun, Susanne (PhD Theses in Experimental Software Engineering, 2023)