GDEVS: a generalized discrete event specification for accurate modeling of dynamic systems | IEEE Conference Publication | IEEE Xplore