Time-stamped event based execution semantics for industrial cyber-physical systems.