Faily, Shamal, Iacob, Claudia, Ali, Raian, Ki-Aries, Duncan, "Identifying implicit vulnerabilities through personas as goal models.", , 2020