Toward the fault identification method for diagnosing strongly t-diagnosable systems under the PMC model. (2015)