  <a href="http://www.cs.utexas.edu/users/carruth/">Al Carruth</a> has extended the UNITY logic to include real time aspects of computing and hybrid systems.  <h2>
