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