Christos Cassandras

• Analysis and Design of Hybrid Systems 2006