A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits