Huw Evans Malcolm P. Atkinson Margaret Brown Julie Cargill Murray Crease Steve Draper Philip D. Gray Richard Thomas 99-120 2003 33 Softw., Pract. Exper. 2 db/journals/spe/spe33.html#EvansABCCDGT03