van den Berghe, AlexanderAlexandervan den BergheScandariato, RiccardoRiccardoScandariatoYskout, KoenKoenYskoutJoosen, WouterWouterJoosen2021-10-242021-10-2420171619-1366https://imec-publications.be/handle/20.500.12860/29644Design notations for secure software: a systematic literature reviewJournal articlehttps://link.springer.com/article/10.1007/s10270-015-0486-9