Michael O. Fryer Risk Assessment of Computer Controlled Systems. 125-129 1985 11 IEEE Trans. Software Eng. 1 db/journals/tse/tse11.html#Fryer85