Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. - Batt G; Ropers D; de Jong H; Geiselmann J; Mateescu R; Page M; Schneider D (Bioinformatics (Oxford, England), 2005)