Modular, rule-based modeling for the design of eukaryotic synthetic gene circuits User incredulitor, in the bioinformatics subreddit, 30 May 2013