"Testing Distributed Systems w/ Deterministic Simulation" by Will Wilson