Maria K. Michael, Themistoklis Haniotakis, Spyros Tragoudas. A unified framework for generating all propagation functions for logic errors and events. IEEE Trans. on CAD of Integrated Circuits and Systems, 23(6):980-986, 2004. [doi]
Abstract is missing.