Grégory Batt Damien Bergamini Hidde de Jong Hubert Garavel Radu Mateescu Model Checking Genetic Regulatory Networks Using GNA and CADP. 158-163 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2989&spage=158 2004 conf/spin/2004 SPIN db/conf/spin/spin2004.html#BattBJGM04