“…Such a probability can be calculated by inclusion-exclusion principle [14,18,35] or state-space decomposition [2,16]. State-space decomposition proposed by Doullize and Jamoulle [6] adopted the Ford and Fulkerson [7] labeling scheme to decompose the state space into a set of acceptable state vectors, a set of unacceptable state vectors, and disjoint & unspecified sets of state vectors.…”