A generalized ternary decision diagram for reliability analysis on fault-tolerant systems in different coverage models. Issue 11 (2nd November 2022)