RunSync: A predictable runtime for precision timed automation systems