“Onto-Security Checks: Semantic Ontology-Based Reasoning for Automated Architectural Security Verification”, JETIA, vol. 12, nº 61, p. 1598–1612, out. 2026, doi: 10.5935/jetia.v12i61.4559.