A Distributed Real-Time Operating System with Distributed Shared Memory for Embedded Control Systems | IEEE Conference Publication | IEEE Xplore