Wenbin William Dai, Cheng Pang, Valeriy Vyatkin, James H. Christensen, Xinping Guan. Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 50(3):851-862, 2020. [doi]
Abstract is missing.