Colin O'Halloran Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance. 63-70 2001 conf/kbse/2001 ASE http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260063abs.htm db/conf/kbse/ase2001.html#OHalloran01