https://9dok.net/document/zwvmo457-timing-overhead-analysis-for-fault-tolerance-mechanisms.html