Analysis and Design of Hybrid Systems 2006 door Christos Cassandras