Probabilistic reasoning for automotive systems