Sauermann, Jürgen2018-11-142018-11-1420092009http://196.43.179.3:8080/xmlui/handle/123456789/11041.Requirements; 2.Concepts; 3.Kernel implementation; 4.Bootstrap; 5.An application; 6.Development environment; 7.Miscellaneousen-USBook