Synthesis of Nondeterministic Behavior in Recombinase-Based Genetic Circuits | IEEE Conference Publication | IEEE Xplore