Fundamentals of Secure System Modelling - Matulevicius, Raimundas (Springer, 2017)