Information-Driven Security Analysis: Tools and Techniques for the Study and Practice of Security Engineering - Whitmore, J.; Michael, J.B. (Computer, 2023)