https://5dok.org/document/q5m9ex7w-modelling-safety-concepts-autonomous-vehicles-using-markov-models.html