UC BERKELEY - EECS - Copyright © 2000-2008 - Edward A. Lee <eal@eecs.berkeley.edu> and Pravin Varaiya <varaiya@eecs.berkeley.edu>