publication venue for Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems 2013
