selected publications chapter Platform Comparison. Springer eBooks. 29-44. 2014 conference paper Trusted virtual domains on OKL4. . 2011