https://123dok.net/document/zxvv104y-fault-confinement-mechanisms-protocol-analysis-improvements.html