Cello manuscript (http://science.sciencemag.org/content/352/6281/aac7341) crosses 100 citations according to Google Scholar. To learn more about Cello and Genetic Circuit design automation, check out the Science and IEEE manuscripts.