1. Basic concepts and taxonomy of dependable and secure computing
2. Anaheed Ayoub, Jian Chang, Oleg Sokolsky, and Insup Lee. February 2013. Assessing the overall sufficiency of safety arguments. 21st Safety-Critical Systems Symposium (SSS'13) (February 2013), 127--144.
3. Glenn W Brier. 1950. Verification of forecasts expressed in terms of probability. Monthly weather review 78, 1 (1950), 1--3.
4. Simon Burton, Lydia Gauerhof, Bibhuti Bhusan Sethy, Ibrahim Habli, and Richard Hawkins. 2019. Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions. In Computer Safety, Reliability, and Security, Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, and Friedemann Bitsch (Eds.). Springer International Publishing, Cham, 365--377.
5. Addressing uncertainty in the safety assurance of machine-learning