Formal Template-Based Generation of Attack–Defence Trees for Automated Security Analysis - Hoang Nguyen (information, 2023)