Runtime enforcement for component-based systems. - Hadil Charafeddine; Khalil El-Harake; Yliès Falcone; Mohamad Jaber 001 (SAC, 2015)