Strnadel, Josef, Tomáš Pečenka, and Zdeněk Kotásek. 2012. “Measuring CADeT Performance by Means of FITTest _BENCH06 Benchmark Circuits”. Computing and Informatics 27 (6):913–930. http://147.213.75.17/ojs/index.php/cai/article/view/20.