Fundamentals of secure system modelling - Matulevicius, Raimundas (Springer, 2017)