Grégory Batt Calin Belta Ron Weiss Model Checking Genetic Regulatory Networks with Parameter Uncertainty. 61-75 2007 conf/hybrid/2007 HSCC http://dx.doi.org/10.1007/978-3-540-71493-4_8 db/conf/hybrid/hscc2007.html#BattBW07