https://azpdf.net/document/q2n924e2-fault-tolerant-analysis-algorithms-proposed-augmented-binary-architecture.html