Some models and methods for fault diagnosis of analog piecewise linear circuits via verification technique | IEEE Conference Publication | IEEE Xplore