 I am a graduate student at the <a href="http://wwwhost.cc.utexas.edu/">  University of Texas at Austin </a> in <a href="http://www.cs.utexas.edu/">  Computer Sciences </a> in the <a href=" http://www.cs.utexas.edu/users/amok/index.html ">  Real Time Systems Group </a> (temporary <a href=" http://www.cs.utexas.edu/users/cpg/RTS/ "> site </a> ) . <p>
