How to design a system with guaranteed event delivery, transaction coordination, and duplicate protection?