/Users/weishen/Workspace/nexus/sreweekly/markdown/476/04-how-we-use-formal-modeling-lightweight-simulations-and-chaos-testing-t.md