1. Automatic Symbolic Verification of Embedded Systems;Alur,1993
2. Hybrid modeling and simulation of biomolecular networks;Alur,2001
3. Automated symbolic reachability analysis; with application to delta-notch signaling automata;Ghosh,2003
4. Algorithmic algebraic model checking I: Challenges from systems biology;Piazza,2005
5. What’s decidable about hybrid automata?;Henzinger,1995