High Confidence Software Reuse in Large Systems - Mei, Hong (Springer Berlin Heidelberg, 2020)