selected publications conference paper Real-time process server for the micro-kernel based Alcatel Elin operating system testbed (AEOS). . 2003