A framework for hybrid modeling/simulation of discrete event systems | IEEE Conference Publication | IEEE Xplore