Probabilistic Risk Assessment Model for the Navigation of Autonomous Mobile Robotic Systems Around an Aircraft | Synapse