A formal theory for estimating defeaturing-induced engineering analysis errors