Peter Amey Roderick Chapman Static verification and extreme programming. 4-9 2003 conf/sigada/2003 SIGAda http://doi.acm.org/10.1145/958420.958422 db/conf/sigada/sigada2003.html#AmeyC03