B. Akbarpour, S. Tahar and A. Dekdouk, “Formalization of Cadence SPW Fixed-Point Arithmetic in HOL,” Formal Methods in System Design, Vol. 27, No. 1-2, 2005, pp. 173-200. http://dx.doi.org/ 10.1007/s10703-005-2256-8

has been cited by the following article: