Patrick J. Graydon Ibrahim Habli Richard Hawkins Tim Kelly John C. Knight Arguing Conformance. 50-57 2012 29 IEEE Software 3 http://doi.ieeecomputersociety.org/10.1109/MS.2012.26 db/journals/software/software29.html#GraydonHHKK12