# Fully automated runtime enforcement of component-based systems with formal and sound recovery

> Research article (International Journal on Software Tools for Technology Transfer, 2016) · cited 14× · AI/ML

**Wikidata**: [openalex:W2262043317](https://www.wikidata.org/wiki/openalex:W2262043317)  
**Source**: https://4ort.xyz/entity/fully-automated-runtime-enforcement-of-component-based-systems-with-formal-and-sound-recovery