Aliyu Tanko Ali, Damas P. Gruska, Martin Leucker: Supervised Attack Trees. SecITC 2025: 262-277