Enforcing the security of component-based embedded systems with Information Flow Control. - Nejla Rouis; Wafa Saidane; Takoua Abdellatif (ICWUS, 2010)