“…To solve this problem, MCSs are used to distinguish the states of SRS. Thus, the computational cost mainly depends on the complexity of solving the MCSs of SRS, a problem that has been extensively studied in the literature [27][28][29]. Even in 1999, a system with 82 components, and as a result 12720 MCSs, can be solved within three minutes [32].…”