RDDS: A Real-Time Data Distribution Service for Cyber-Physical Systems | IEEE Journals & Magazine | IEEE Xplore