<b><a href="http://www.cs.cornell.edu/Info/People/tah/hytech.html"> HyTech</a></b> (<i>tah@cs.cornell.edu</i>): a symbolic model checker for linear hybrid systems <p>
