Assessing complex computer based systems using the Goal Structuring Notation | IEEE Conference Publication | IEEE Xplore