1. Andrianantoandro, E., et al.: Synthetic biology: New engineering rules for an emerging discipline. Mol. Syst. Biol. (2006)
2. Batt, G., Belta, C.: Model checking genetic regulatory networks with applications to synthetic biology. CISE Tech. Rep. 2006-IR-0030, Boston University (2006)
3. Lecture Notes in Computer Science;C. Belta,2007
4. Alur, R., et al.: Discrete abstractions of hybrid systems. Proc. IEEE 88(7), 971–984 (2000)
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)