Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. - Grégory Batt; Michel Page; Irene Cantone; Gregor Goessler; Pedro T. Monteiro 001; Hidde de Jong (Bioinform., 2010)