Operational semantics of hybrid systems,” (2005)

by E Lee, H Zheng
Venue:in Hybrid Systems: Computation and Control,