A hybrid system formalism for modeling and simulation | IEEE Conference Publication | IEEE Xplore