Dobai, R. and Gramatová, E. 2012. Deductive Fault Simulation Technique for Asynchronous Circuits. Computing and Informatics. 29, 6 (Jan. 2012), 1025–1043.