An Operational Semantics of an Event-Driven System-Level Simulator | IEEE Conference Publication | IEEE Xplore