William E. Dougherty, Donald E. Thomas: Modeling and automating selection of guarding techniques for datapath elements. ISLPED 1999: 182-187