Title: Analysis and Design of Hybrid Systems 2006