High Confidence Software Reuse in Large Systems | lit.salon