Model Checking, Hybrid Automata, and Systems Biology