«Onto-Security Checks: Semantic Ontology-Based Reasoning for Automated Architectural Security Verification», JETIA, vol. 12, n.º 61, pp. 1598–1612, oct. 2026, doi: 10.5935/jetia.v12i61.4559.