Prior Probability Model Development to Support System Safety Verification in the Presence of Anomalies | IEEE Conference Publication | IEEE Xplore