Grégory Batt Hidde de Jong Michel Page Johannes Geiselmann Symbolic reachability analysis of genetic regulatory networks using discrete abstractions. 982-989 2008 44 Automatica 4 http://dx.doi.org/10.1016/j.automatica.2007.08.004 db/journals/automatica/automatica44.html#BattJPG08