An abstract state machine semantics for discrete event simulation | IEEE Conference Publication | IEEE Xplore