Z-DFD: design-for-diagnosability based on the concept of Z-detection | IEEE Conference Publication | IEEE Xplore