Safety Assurance under Uncertainties: From Software to Cyber-Physical/Machine Learning Systems