https://github.com/spacejam/tla-rust
project-tla-rust#simulator-can-artificially-advance-clocks1 2A simulator can artificially advance the clocks of a system to induce a leader election, while a "real" cluster has to wait real time to trigger certain logic. project-tla-rust#simulator-can-artificially-advance-clocks1 2