Lloyd G. Williams Assessment of Safety-Critical Specifications. 51-60 1994 11 IEEE Software 1 http://www.computer.org:80/software/so1994/s1051abs.htm db/journals/software/software11.html#Williams94