Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems. - Calin Belta; Peter Finin; Luc C. G. J. M. Habets; Ádám M. Halász; Marcin Imielinski; Vijay Kumar 001; Harvey Rubin (HSCC, 2004)