Fault analysis in analog circuits through language manipulation and abstraction | IEEE Conference Publication | IEEE Xplore