Behavior Modeling of Cyber-physical System Based on Discrete Hybrid Automata | IEEE Conference Publication | IEEE Xplore