Onto-Security Checks: Semantic Ontology-Based Reasoning for Automated Architectural Security Verification. JETIA 2026, 12 (61), 1598-1612. https://doi.org/10.5935/jetia.v12i61.4559.