Calin Belta Peter Finin Luc C. G. J. M. Habets Ádám M. Halász Marcin Imielinski Vijay Kumar Harvey Rubin Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems. 111-125 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2993&spage=111 2004 conf/hybrid/2004 HSCC db/conf/hybrid/hscc2004.html#BeltaFHHIKR04