A Novel Effectiveness Evaluation Method Based on Simultaneous Probabilistic Finite-State Machines. - Yi Nan; Guoxing Yi; Changhong Wang; Zhenbiao Tu (IEEE Syst. J., 2020)