Automated formal verification of X propagation with respect to testability issues | IEEE Conference Publication | IEEE Xplore