Method of Testability Index Determination Based on Generalized Stochastic Petri Net | IEEE Conference Publication | IEEE Xplore