April 2005, “Tools for the Analysis of Networked Hybrid Systems”, Center for Hybrid and Embedded Software Systems, University of California, Berkeley.