Abuse-case-based assurance arguments | IEEE Conference Publication | IEEE Xplore