Fundamentals of Secure System Modelling - Matulevičius (Springer International Publishing, 2017)