“…Similar to the electronic design automation (EDA) process which dramatically enhanced the design, verification, validation and production of electronic circuits, researchers have started to work on the development of genetic design automation (GDA) tools to automate the design, test and verification processes of genetic circuits prior to their validation in laboratory. Several computational tools [31][32][33][34] have been developed to assist users in the model construction and design [35][36][37], simulation [35,36,[38][39][40], logic and timing analysis of genetic circuits [40], and model checking [36,[41][42][43][44]. Model checking of biological systems is getting popular as it is an effective means of analyzing the dynamics of complex biological systems [45][46][47][48][49][50][51][52][53].…”