Mathematical Models and Design Specifications in Synthetic Gene Networks