An Operating System for a Time-Predictable Computing Node. - Guenter Khyo; Peter P. Puschner; Martin Delvai (SEUS, 2008)