Efficient bridging fault simulation of sequential circuits based on multi-valued logics | IEEE Conference Publication | IEEE Xplore