Wei Qin Asa Ben-Tzur Boris Gutkovich An ADL for Functional Specification of IA32. 119-127 2007 MTV http://dx.doi.org/10.1109/MTV.2007.12 conf/mtv/2007 db/conf/mtv/mtv2007.html#QinBG07