Grégory Batt Calin Belta Ron Weiss Model Checking Liveness Properties of Genetic Regulatory Networks. 323-338 2007 conf/tacas/2007 TACAS http://dx.doi.org/10.1007/978-3-540-71209-1_25 db/conf/tacas/tacas2007.html#BattBW07