High Confidence Software Reuse In Large Systems by