Dobai, R., & Gramatová, E. (2010). Deductive Fault Simulation Technique for Asynchronous Circuits. Computing and Informatics, 29(6), 1025–1043. https://cai.type.sk/content/2010/6/deductive-fault-simulation-technique-for-asynchronous-circuits/