Using SSADM to specify requirements | IET Conference Publication | IEEE Xplore