RTeX: An Efficient and Timing-Predictable Multithreaded Executor for ROS 2 | IEEE Journals & Magazine | IEEE Xplore