Verification, validation and quantification of margins and uncertainties for electrical systems.