A Time-Triggered Distributed Computing Environment for Cyber-Physical Systems Based on Physical Time and Logical Time | IEEE Conference Publication | IEEE Xplore