On Quantification for SOTIF Validation of Automated Driving Systems | IEEE Conference Publication | IEEE Xplore