Safety verification for ROS software - Santos, André Filipe Faria (2021)