Fundamentals of Secure System Modelling - Raimundas Matulevi?ius (Springer, 2017)