Title: High Confidence Software Reuse in Large Systems