publication venue for Compositional Relational Abstraction for Nonlinear Hybrid Systems 2017 Schedulability of Bounded-Rate Multimode Systems 2017 Probabilistic Temporal Logic Falsification of Cyber-Physical Systems 2013 Editorial: Special Section VCPSS'09 2012
