RunSync: A Predictable Runtime for Precision Timed Automation Systems | IEEE Conference Publication | IEEE Xplore