Testability modeling usage in design-for-test and product lifecycle cost reduction | IEEE Conference Publication | IEEE Xplore