Saket Srivastava Sanjukta Bhanja Hierarchical Probabilistic Macromodeling for QCA Circuits. 174-190 2007 56 IEEE Trans. Computers 2 http://doi.ieeecomputersociety.org/10.1109/TC.2007.30 db/journals/tc/tc56.html#SrivastavaB07