  <a href="http://www.cs.utexas.edu/users/cpg/TempEst">The TempEst Toolset</a>: a package for verifying safety properties of programs written in the <a href="http://www.cs.utexas.edu/users/cpg/TempEst/esterel.html">Esterel</a> programming language.  <p>
