A real-time operating system supporting distributed shared memory for embedded control systems. - Yuji Tamura; Doan Truong Thi; Takahiro Chiba; Myungryun Yoo; Takanori Yokoyama (Clust. Comput., 2019)