  Check out the UTCS <a href="http://www.cs.utexas.edu/users/cpg/RTS/">Real-Time Systems Group</a> home page.  <hr size=3>  <h2>
