Hybrid automata in systems biology