Analysis and Design of Hybrid Systems 2006 by Christos Cassandras