Dobai, R.; Gramatová, E. Deductive Fault Simulation Technique for Asynchronous Circuits. Comput. Inform. 2012, 29, 1025-1043.