Juan Pardo José Carlos Campelo Juan José Serrano Reliability study of an embedded operating system for industrial applications. 83-88 2004 conf/gi/2004-1 GI Jahrestagung (1) db/conf/gi/gi2004-1.html#PardoCS04