R. Dobai and E. Gramatová, “Deductive Fault Simulation Technique for Asynchronous Circuits”, Comput. Inform., vol. 29, no. 6, pp. 1025–1043, Jan. 2012.