Modeling Synthetic Genetic Systems with Temporal Logic - View it on GitHub