Text this: High Confidence Software Reuse in Large Systems