Hybrid Systems Modeling and Analysis of Regulatory Pathways Rajeev Alur University of Pennsylvania alur/ LSB, August 2006.