Combining state- and event-based semantics to verify highly available applications. - Zeller, Peter; Bieniusa, Annette; Poetzsch-Heffter, Arnd (Science of Computer Programming, 2021)