The Backtracking Process Algorithm : A Dynamic Probabilistic Risk Assessment Method for Autonomous Vehicle Control Systems