Verification and Uncertainties in Self-integrating System. - Esterle, Lukas; Porter, Barry; Woodcock, Jim (2021)