Nguyen, T. T., K.-N. LE-HUU, T. H. Bui, and A.-V. Dinh-Duc. “A Novel Strategy for Formal Verication of Asynchronous Circuit Design in PAiD Tool”. ECTI Transactions on Computer and Information Technology (ECTI-CIT), vol. 9, no. 1, Apr. 2016, pp. 64-73, doi:10.37936/ecti-cit.201591.54405.