ByNobleID
    An abstract state machine semantics for discrete event simulation | NobleID