Genetic design automation a practical approach for the analysis, verification and synthesis of genetic logic circuits - Baig, Hasan; Madsen, Jan (Springer, 2020)