High Confidence Software Reuse In Large Systems door