Abstraction methods used by reb2sac in the analysis of the <i>fim</i> circuit switch model.

A detailed discussion of the listed abstraction methods can be found in references [63],[64],[138],[139]. aMost recent version of reb2sac is included along with other tools as part of iBioSim GUI frontend, which is available for download at http://www.async.ece.utah.edu/iBioSim. bDescription of the default abstraction methods configuration for the analysis of the total and FimB-mediated ON-to-OFF switching in terms of the notation given in Figure 9.