Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems | IEEE Journals & Magazine | IEEE Xplore