TIDE: a Timing-Deterministic and Efficient Executor for micro-ROS | IEEE Conference Publication | IEEE Xplore