Martin Schlager Wolfgang Herzner Andreas Wolf Oliver Gründonner Maximilian Rosenblattl Erwin Erkinger Encapsulating Application Subsystems Using the DECOS Core OS. 386-397 2006 conf/safecomp/2006 SAFECOMP http://dx.doi.org/10.1007/11875567_29 db/conf/safecomp/safecomp2006.html#SchlagerHWGRE06