# On Modularity in Reactive Control Architectures, with an Application to Formal Verification

> Research article (ACM Transactions on Cyber-Physical Systems, 2022) · cited 15× · AI/ML

**Wikidata**: [openalex:W3082488836](https://www.wikidata.org/wiki/openalex:W3082488836)  
**Source**: https://4ort.xyz/entity/on-modularity-in-reactive-control-architectures-with-an-application-to-formal-verification