High Confidence Software Reuse in Large Systems