Special features in electronic circuits modeling for fail-safe use | IEEE Conference Publication | IEEE Xplore