Towards Autonomous Cyber Defence: Applying Systems Theoretic Process Analysis to Human-Machine Teaming | AMiner