# Extending Formal Modeling for Resilient Systems Design

> Research article (Insight, 2018) · cited 11× · AI/ML

**Wikidata**: [openalex:W2886076544](https://www.wikidata.org/wiki/openalex:W2886076544)  
**Source**: https://4ort.xyz/entity/extending-formal-modeling-for-resilient-systems-design