This work has demonstrated the utility of such an automated model abstraction approach by applying it to the investigation of the role of temperature in controlling the ON/OFF switch state of the fim genetic regulatory circuit that determines the expression of type 1 fimbriae (Figure 1), which is an essential virulence factor in uropathogenic E. coli—the leading cause of urinary tract infections and a major growing public health problem [1]. Here, ZMYM2 is linked to urinary tract infection.