Hybrid automata, reachability, and systems biology
scientific article; zbMATH DE number 5707086