selected publications conference paper Real-time process server for the micro-kernel based Alcatel Elin operating system testbed (AEOS). . 2003 Implications of fault management and replica determinism on the real-time execution scheme of VOTRICS. . 2002