X.Bai, S.Dey, A.Krstic, "ATPG for Crosstalk using Hybrid Structural SAT," in Intl. Test Conference, pp.112-121, Charlotter, Oct. 2003.