Amy, M., Maslov, D., Mosca, M. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013