Hybrid automata: a formal paradigm for heterogeneous modeling | IEEE Conference Publication | IEEE Xplore