https://123dok.net/document/ky6m11gq-sequential-testing-of-k-out-of-n-systems-with-imperfect-tests.html