BiCMOS fault models: is stuck-at adequate? | IEEE Conference Publication | IEEE Xplore