@article{falcone:hal-01262658, TITLE = {{Fully-automated Runtime Enforcement of Component-based Systems with Formal and Sound Recovery}}, AUTHOR = {Falcone, Yli{\`e}s and Jaber, Mohamad}, URL = {https://inria.hal.science/hal-01262658}, JOURNAL = {{International Journal on Software Tools for Technology Transfer}}, PUBLISHER = {{Springer Verlag}}, YEAR = {2016}, MONTH = Feb, PDF = {https://inria.hal.science/hal-01262658/file/sttt3-rebip-Falcone-Jaber.pdf}, HAL_ID = {hal-01262658}, HAL_VERSION = {v1}, }