https://9dok.net/document/qo5leg20-safety-analysis-airbag-using-probabilistic-probabilistic-counter-examples.html