Reference: Monteiro PT, et al. (2011) Qualitative modelling and formal verification of the FLR1 gene mancozeb response in Saccharomyces cerevisiae. IET Syst Biol 5(5):308