Disclaimer: im not an expert on this. But serious implementations outright mention jepsen usage. Just saying.