https://www.datadoghq.com/blog/engineering/formal-modeling-and-simulation How we use formal modeling, lightweight simulations, and chaos testing to design reliable distributed systemsArun Parthiban, Sesh Nalla, Cecilia Wat-KimNovember 20, 2024 “To analyze a distributed system during its