Assume-Guarantee Reasoning Using a Cyber Security Ontology