System level testability analysis using Petri nets. - Tianjing Jiang; Robert H. Klenke; James H. Aylor; Gang Han (HLDVT, 2000)