https://123dok.net/document/zgw34616-sectro-case-modelling-security-requirements-engineering-secure-tropos.html