Symbolic reachability analysis of genetic regulatory networks using discrete abstractions