Mechanistic Mathematical Models For The Design Of Synthetic Biological Systems : Dna Recombination, Recombinase-Based Temporal Logic Gates And Antibiotic Production