A real-time operating system supporting distributed shared memory for embedded control systems - Tamura, Yuji (Cluster Computing)