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