<a href="http://www.cs.cornell.edu/Info/People/tah/hybrid95.html"> HYBRID 95</a>: Verification and Control of Hybrid Systems <li>
