Juan Pardo, José Carlos Campelo, Juan José Serrano: Robustness Study of an Embedded Operating System for Industrial Applications. COMPSAC Workshops 2004: 64-65