A Functional Fault Model with Implicit Fault Effect Propagation Requirements | IEEE Conference Publication | IEEE Xplore