# Automated model checking for topologically complex code requirements – security room case study

> Research article (Computing in construction, 2019) · cited 11× · AI/ML

**Wikidata**: [openalex:W2963107520](https://www.wikidata.org/wiki/openalex:W2963107520)  
**Source**: https://4ort.xyz/entity/automated-model-checking-for-topologically-complex-code-requirements-security-room-case-study